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
14262012
Design Principles of Mathpert: Software to support education in algebra and calculus
M Beeson
Computer-human interaction in symbolic computation, 163-177, 1998
1191998
Proving programs and programming proofs
MJ Beeson
Studies in Logic and the Foundations of Mathematics 114, 51-82, 1986
771986
Recursive models for constructive set theories
M Beeson
Annals of Mathematical Logic 23 (2-3), 127-178, 1982
681982
Towards a computation system based on set theory
MJ Beeson
Theoretical Computer Science 60 (3), 297-340, 1988
581988
Continuity in intuitionistic set theories
M Beeson
Studies in Logic and the Foundations of Mathematics 97, 1-52, 1979
581979
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
571975
Formalizing constructive mathematics: Why and how?
MJ Beeson
Constructive Mathematics, 146-190, 1981
561981
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
521977
The cusp catastrophe of Thom in the bifurcation of minimal surfaces
MJ Beeson, AJ Tromba
manuscripta mathematica 46 (1), 273-308, 1984
471984
Goodman’s theorem and beyond
M Beeson
Pacific Journal of Mathematics 84 (1), 1-16, 1979
411979
Logic and computation in MATHPERT: An expert system for learning mathematics
MJ Beeson
Computers and mathematics, 202-214, 1989
401989
Lambda logic
M Beeson
International Joint Conference on Automated Reasoning, 460-474, 2004
382004
Constructive geometry
M Beeson
Proceedings of the 10th Asian logic conference, 19-84, 2010
342010
Some applications of Gentzen's proof theory in automated deduction
M Beeson
International Workshop on Extensions of Logic Programming, 101-156, 1989
331989
Problematic principles in constructive mathematics
MJ Beeson
Studies in Logic and the Foundations of Mathematics 108, 11-55, 1982
321982
Mathpert: Computer support for learning algebra, trig, and calculus
M Beeson
International Conference on Logic for Programming Artificial Intelligenceá…, 1992
311992
A constructive version of Tarski's geometry
M Beeson
Annals of Pure and Applied Logic 166 (11), 1199-1273, 2015
292015
The mechanization of mathematics
MJ Beeson
Alan Turing: Life and legacy of a great thinker, 77-134, 2004
282004
Some results on finiteness in Plateau's problem, Part I
M Beeson
Mathematische Zeitschrift 175 (2), 103-123, 1980
251980
The system can't perform the operation now. Try again later.
Articles 1–20