Michael Beeson

1. Double-Negation Elimination in Some Propositional Logics
   2003/01/24 by Michael Beeson, Beeson, Michael, Robert Veroff +3 · 1 citation
   Computer Science · #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
2. Proof-checking Euclid
   2017/10/02 by Michael Beeson, Julien Narboux, Beeson, Michael +3 · 1 citation
   Computer Science · Mathematics · #Mathematics, Computing, and Information Processing #Mathematics and Applications #History and Theory of Mathematics
3. No Prime Tiling of an Isosceles Triangle
   2026/07/21 by Michael Beeson
   Mathematics · #math.MG
4. Tiling a triangle into a prime number of congruent triangles
   2026/07/26 by Michael Beeson
   Mathematics · #math.MG #math.NT