Follow
Michael Beeson
Michael Beeson
Professor Emeritus of Mathematics and Computer Science, San Jose State University
Verified email at sjsu.edu - Homepage
Title
Cited by
Cited by
Year
Foundations of constructive mathematics: Metamathematical studies
MJ Beeson
Springer Science & Business Media, 2012
15032012
Design Principles of Mathpert: Software to support education in algebra and calculus
M Beeson
Computer-human interaction in symbolic computation, 163-177, 1998
1241998
Proving programs and programming proofs
MJ Beeson
Studies in Logic and the Foundations of Mathematics 114, 51-82, 1986
781986
Recursive models for constructive set theories
M Beeson
Annals of Mathematical Logic 23 (2-3), 127-178, 1982
671982
Continuity in intuitionistic set theories
M Beeson
Studies in Logic and the Foundations of Mathematics 97, 1-52, 1979
671979
Towards a computation system based on set theory
MJ Beeson
Theoretical Computer Science 60 (3), 297-340, 1988
611988
The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
MJ Beeson
The Journal of Symbolic Logic 40 (3), 321-346, 1975
561975
Formalizing constructive mathematics: Why and how?
MJ Beeson
Constructive Mathematics: Proceedings of the New Mexico State University …, 2006
542006
Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
MJ Beeson
Annals of Mathematical Logic 12 (3), 249-322, 1977
531977
The cusp catastrophe of Thom in the bifurcation of minimal surfaces
MJ Beeson, AJ Tromba
manuscripta mathematica 46 (1-3), 273-308, 1984
521984
Logic and computation in MATHPERT: An expert system for learning mathematics
MJ Beeson
Computers and mathematics, 202-214, 1989
491989
Lambda logic
M Beeson
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004
452004
Goodman’s theorem and beyond
M Beeson
Pacific Journal of Mathematics 84 (1), 1-16, 1979
411979
Some applications of Gentzen's proof theory in automated deduction
M Beeson
Extensions of Logic Programming: International Workshop Tübingen, FRG …, 1991
381991
Constructive geometry
M Beeson
Proceedings of the 10th Asian logic conference, 19-84, 2010
372010
Proof-checking euclid
M Beeson, J Narboux, F Wiedijk
Annals of Mathematics and Artificial Intelligence 85, 213-257, 2019
342019
Problematic principles in constructive mathematics
MJ Beeson
Studies in Logic and the Foundations of Mathematics 108, 11-55, 1982
341982
A constructive version of Tarski's geometry
M Beeson
Annals of Pure and Applied Logic 166 (11), 1199-1273, 2015
332015
Mathpert: Computer support for learning algebra, trig, and calculus
M Beeson
Logic Programming and Automated Reasoning: International Conference LPAR'92 …, 1992
331992
The mechanization of mathematics
MJ Beeson
Alan Turing: Life and legacy of a great thinker, 77-134, 2004
302004
The system can't perform the operation now. Try again later.
Articles 1–20