Foundations of constructive mathematics: Metamathematical studies MJ Beeson Springer Science & Business Media, 2012 | 1426 | 2012 |

Design Principles of Mathpert: Software to support education in algebra and calculus M Beeson Computer-human interaction in symbolic computation, 163-177, 1998 | 119 | 1998 |

Proving programs and programming proofs MJ Beeson Studies in Logic and the Foundations of Mathematics 114, 51-82, 1986 | 77 | 1986 |

Recursive models for constructive set theories M Beeson Annals of Mathematical Logic 23 (2-3), 127-178, 1982 | 68 | 1982 |

Towards a computation system based on set theory MJ Beeson Theoretical Computer Science 60 (3), 297-340, 1988 | 58 | 1988 |

Continuity in intuitionistic set theories M Beeson Studies in Logic and the Foundations of Mathematics 97, 1-52, 1979 | 58 | 1979 |

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, 146-190, 1981 | 56 | 1981 |

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 | 52 | 1977 |

The cusp catastrophe of Thom in the bifurcation of minimal surfaces MJ Beeson, AJ Tromba manuscripta mathematica 46 (1), 273-308, 1984 | 47 | 1984 |

Goodman’s theorem and beyond M Beeson Pacific Journal of Mathematics 84 (1), 1-16, 1979 | 41 | 1979 |

Logic and computation in MATHPERT: An expert system for learning mathematics MJ Beeson Computers and mathematics, 202-214, 1989 | 40 | 1989 |

Lambda logic M Beeson International Joint Conference on Automated Reasoning, 460-474, 2004 | 38 | 2004 |

Constructive geometry M Beeson Proceedings of the 10th Asian logic conference, 19-84, 2010 | 34 | 2010 |

Some applications of Gentzen's proof theory in automated deduction M Beeson International Workshop on Extensions of Logic Programming, 101-156, 1989 | 33 | 1989 |

Problematic principles in constructive mathematics MJ Beeson Studies in Logic and the Foundations of Mathematics 108, 11-55, 1982 | 32 | 1982 |

Mathpert: Computer support for learning algebra, trig, and calculus M Beeson International Conference on Logic for Programming Artificial Intelligence …, 1992 | 31 | 1992 |

A constructive version of Tarski's geometry M Beeson Annals of Pure and Applied Logic 166 (11), 1199-1273, 2015 | 29 | 2015 |

The mechanization of mathematics MJ Beeson Alan Turing: Life and legacy of a great thinker, 77-134, 2004 | 28 | 2004 |

Some results on finiteness in Plateau's problem, Part I M Beeson Mathematische Zeitschrift 175 (2), 103-123, 1980 | 25 | 1980 |