In math, lemmas are considered intermediate results, which is fairly pragmatic definition. Lemmas can help us to structure proofs, too. When considering a difficult theorem,…
It may come as a surprise to you that some interesting, successful research projects wind up unpublished because they don’t go far enough to qualify…
Continuing the trend from the ProofWatch, ENIGMAWatch I and II posts, I’ll discuss some more research casually. Make E Smart Again is my first solo…
I’d like to have personalized blog post versions of all of my research papers, which would ideally be done in sync, yet this is coming…