Searching for authors named "Michael Beeson" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
