Michael Beeson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1992–2014
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CADE | OTTER Proofs in Tarskian Geometry. | Michael Beeson, Larry Wos |
| 2012 | CiE | Logic of Ruler and Compass Constructions. | Michael Beeson |
| 2004 | CADE | Lambda Logic. | Michael Beeson |
| 2002 | AISC | The Meaning of Infinity in Calculus and Computer Algebra Systems. | Michael Beeson, Freek Wiedijk |
| 2001 | CADE | A Second-Order Theorem Prover Applied to Circumscription. | Michael Beeson |
| 1998 | AISC | Automatic Generation of Epsilon-Delta Proofs of Continuity. | Michael Beeson |
| 1998 | CADE | Unification in Lambda-Calculi with if-then-else. | Michael Beeson |
| 1992 | LPAR | Mathpert: Computer Support for Learning Algebra, Trig, and Calculus. | Michael Beeson |