| Foundations of constructive mathematics: Metamathematical studies MJ Beeson Springer Science & Business Media, 2012 | 1506 | 2012 |
| Design Principles of Mathpert: Software to support education in algebra and calculus M Beeson Computer-human interaction in symbolic computation, 163-177, 1998 | 126 | 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 | 67 | 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 | 57 | 1975 |
| Formalizing constructive mathematics: Why and how? MJ Beeson Constructive Mathematics: Proceedings of the New Mexico State University …, 2006 | 56 | 2006 |
| The cusp catastrophe of Thom in the bifurcation of minimal surfaces MJ Beeson, AJ Tromba manuscripta mathematica 46 (1-3), 273-308, 1984 | 53 | 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 | 53 | 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 | 45 | 2004 |
| Goodman’s theorem and beyond M Beeson Pacific Journal of Mathematics 84 (1), 1-16, 1979 | 41 | 1979 |
| Some applications of Gentzen's proof theory in automated deduction M Beeson Extensions of Logic Programming: International Workshop Tübingen, FRG …, 1991 | 38 | 1991 |
| Constructive geometry M Beeson Proceedings of the 10th Asian logic conference, 19-84, 2010 | 37 | 2010 |
| Proof-checking euclid M Beeson, J Narboux, F Wiedijk Annals of Mathematics and Artificial Intelligence 85, 213-257, 2019 | 34 | 2019 |
| Problematic principles in constructive mathematics MJ Beeson Studies in Logic and the Foundations of Mathematics 108, 11-55, 1982 | 34 | 1982 |
| A constructive version of Tarski's geometry M Beeson Annals of Pure and Applied Logic 166 (11), 1199-1273, 2015 | 33 | 2015 |
| Mathpert: Computer support for learning algebra, trig, and calculus M Beeson Logic Programming and Automated Reasoning: International Conference LPAR'92 …, 1992 | 33 | 1992 |
| The mechanization of mathematics MJ Beeson Alan Turing: Life and legacy of a great thinker, 77-134, 2004 | 31 | 2004 |
Julien NarbouxAssociate Professor University of StrasbourgVerified email at narboux.fr
