pith. sign in

Michael Beeson

Identifiers

  • name variant Michael Beeson 0.60 · backfill

Papers (16)

  1. Solution of Erd\H{o}s Problem 633 math.CO · 2026 · author #1
  2. Finite sets, mappings, cardinals, and arithmetic in intuitionistic New Foundations math.LO · 2021 · author #1
  3. No triangle can be cut into seven congruent triangles math.HO · 2018 · author #1
  4. Proof-checking Euclid cs.LO · 2017 · author #1
  5. Brouwer and Euclid math.LO · 2017 · author #1
  6. Finding Proofs in Tarskian Geometry cs.AI · 2016 · author #1
  7. The number of minimal surfaces bounded by Enneper's wire math.DG · 2015 · author #1
  8. Herbrand's theorem and non-Euclidean geometry math.LO · 2014 · author #1
  9. A Constructive Version of Tarski's Geometry math.LO · 2014 · author #1
  10. Constructive Geometry and the Parallel Postulate math.LO · 2014 · author #1
  11. Tilings of an Isosceles Triangle math.MG · 2012 · author #1
  12. Triangle Tiling: The case $3\alpha + 2\beta = \pi$ math.MG · 2012 · author #1
  13. Triangle Tiling II: Nonexistence theorems math.MG · 2012 · author #1
  14. Triangle Tiling I: The tile is similar to ABC or has a right angle math.MG · 2012 · author #1
  15. A real-analytic Jordan curve cannot bound infinitely many relative minima of area math.DG · 2006 · author #1
  16. Double-Negation Elimination in Some Propositional Logics cs.LO · 2003 · author #1

Mentions

  • 2104.00506 #1 · arxiv_oai · confidence 0.70 Michael Beeson
  • 1506.03064 #1 · backfill · confidence 0.70 Michael Beeson
  • 1410.2239 #1 · backfill · confidence 0.70 Michael Beeson
  • 1407.4399 #1 · backfill · confidence 0.70 Michael Beeson
  • 1407.4398 #1 · backfill · confidence 0.70 Michael Beeson
  • 1206.2231 #1 · backfill · confidence 0.70 Michael Beeson
  • 1206.2230 #1 · backfill · confidence 0.70 Michael Beeson
  • 1206.2229 #1 · backfill · confidence 0.70 Michael Beeson
  • 1206.1974 #1 · backfill · confidence 0.70 Michael Beeson

Frequent Coauthors