Foundations of constructive mathematics: Metamathematical studies MJ Beeson Springer Science & Business Media, 2012 | 1537 | 2012 |
Design Principles of Mathpert: Software to support education in algebra and calculus M Beeson Computer-human interaction in symbolic computation, 163-177, 1998 | 129 | 1998 |
Proving programs and programming proofs MJ Beeson Studies in Logic and the Foundations of Mathematics 114, 51-82, 1986 | 78 | 1986 |
Recursive models for constructive set theories M Beeson Annals of Mathematical Logic 23 (2-3), 127-178, 1982 | 68 | 1982 |
Continuity in intuitionistic set theories M Beeson Studies in Logic and the Foundations of Mathematics 97, 1-52, 1979 | 67 | 1979 |
Towards a computation system based on set theory MJ Beeson Theoretical Computer Science 60 (3), 297-340, 1988 | 61 | 1988 |
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 | 59 | 1975 |
Formalizing constructive mathematics: Why and how? MJ Beeson Constructive Mathematics: Proceedings of the New Mexico State University …, 2006 | 57 | 2006 |
The cusp catastrophe of Thom in the bifurcation of minimal surfaces MJ Beeson, AJ Tromba manuscripta mathematica 46 (1-3), 273-308, 1984 | 54 | 1984 |
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 | 51 | 1977 |
Logic and computation in MATHPERT: An expert system for learning mathematics MJ Beeson Computers and mathematics, 202-214, 1989 | 49 | 1989 |
Lambda logic M Beeson Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004 | 48 | 2004 |
Goodman’s theorem and beyond M Beeson Pacific Journal of Mathematics 84 (1), 1-16, 1979 | 42 | 1979 |
Constructive geometry M Beeson Proceedings of the 10th Asian logic conference, 19-84, 2010 | 40 | 2010 |
Proof-checking Euclid M Beeson, J Narboux, F Wiedijk Annals of Mathematics and Artificial Intelligence 85, 213-257, 2019 | 39 | 2019 |
The mechanization of mathematics MJ Beeson Alan Turing: Life and legacy of a great thinker, 77-134, 2004 | 39 | 2004 |
A constructive version of Tarski's geometry M Beeson Annals of Pure and Applied Logic 166 (11), 1199-1273, 2015 | 37 | 2015 |
Some applications of Gentzen's proof theory in automated deduction M Beeson Extensions of Logic Programming: International Workshop Tübingen, FRG …, 1991 | 37 | 1991 |
Mathpert: Computer support for learning algebra, trig, and calculus M Beeson Logic Programming and Automated Reasoning: International Conference LPAR'92 …, 1992 | 35 | 1992 |
Problematic principles in constructive mathematics MJ Beeson | 34 | 1982 |