Searching for authors named "Michael Beeson" – sorted by Relevance.
-
A Real-Analytic Jordan Curve Cannot Bound Infinitely Many Relative Minima of Area
- A Real-Analytic Jordan Curve Cannot Bound Infinitely Many Relative Minima of Area Michael Beeson
- Add To MetaCart
-
Lambda Logic
- Lambda Logic Michael Beeson ∗ San José State University, San Jose, CA, USA Abstract Lambda logic
- Cited by 7 (5 self) – Add To MetaCart
-
The mechanization of mathematics
- The Mechanization of Mathematics Michael Beeson 1 San José State University, San Jose, CA 95192
- Cited by 1 (1 self) – Add To MetaCart
-
Mathematical induction in Otter-lambda
- Mathematical Induction in Otter Lambda Michael Beeson ∗ May 24, 2006 Abstract Otter
- Cited by 2 (0 self) – Add To MetaCart
-
The Meaning Of Infinity In Calculus And Computer Algebra Systems
- The meaning of innity in calculus and computer algebra systems Michael Beeson 1 and Freek Wiedijk
- Cited by 3 (0 self) – Add To MetaCart
-
Automatic Generation of Epsilon-Delta Proofs of Continuity
- Automatic Generation of Epsilon-Delta Proofs of Continuity Michael Beeson Department
- Add To MetaCart
-
ON DECIDING WHETHER A SURFACE IS PARABOLIC OR HYPERBOLIC
- OR HYPERBOLIC Committee: Roger Alperin, Supervisor Michael Beeson David Hoffman, MSRI Dedicated to my teachers
- Add To MetaCart

