Towards a formal mathematical vernacular (1992)

by Jan Friso Groote
Venue:Utrecht University
Citations:2 - 0 self

Active Bibliography

13 A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions – Marc Bezem, Jan Friso Groote - 1993
Checking Textbook Proofs – Claus Zinn - 1998
A Gradual Computerisation Path in the MathLang Framework: A First Year Report – Robert Lamar - 2007
1 Abstract Computerizing Mathematical Text with – Fairouz Kamareddine, J. B. Wells
First Year Report – Mathlang Framework For, Phd Student Manuel Maarek - 2003
1 Computer Theorem Proving in Math – Carlos Simpson
16 Mechanizing set theory: Cardinal arithmetic and the axiom of choice – Lawrence C. Paulson, Krzysztof Grabczewski - 1996
A refinement of de Bruijn's formal language of mathematics – Fairouz Kamareddine Fairouz, Rob Nederpelt - 2004
3 Verifying Textbook Proofs – Claus Zinn - 1998
Term Reshuffling in the Barendregt Cube – Roel Bloo Fairouz, Fairouz Kamareddine, Rob Nederpelt
7 Making Formality Work For Us – Roland Backhouse, Rijksuniversiteit Groningen - 1989
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
A Nice and Accurate Checker for the Mathematical Language Automath – Freek Wiedijk - 1997
3 The De Bruijn Factor – Freek Wiedijk - 2000
8 A Comparison of Mizar and Isar – Markus Wenzel, Freek Wiedijk - 2002
Towards semi-automatic . . . – Krzysztof Retel
9 Gradual computerisation/formalisation of mathematical texts into Mizar – Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
1 An Abstract Syntax for a Formal Language of Mathematics – Rob Nederpelt, Fairouz Kamareddine - 2001
13 A Proof Planning Framework for Isabelle – Lucas Dixon - 2005