On Equivalents of Well-foundedness -- An experiment in Mizar (1998)

Cached

Download Links

by Piotr Rudnicki , Andrzej Trybulec
Citations:13 - 3 self

Documents Related by Co-Citation

82 An Overview of the MIZAR Project – Piotr Rudnicki - 1992
23 Comparing mathematical provers – Freek Wiedijk - 2003
17 Toward an object-oriented structure for mathematical text – Fairouz Kamareddine, Manuel Maarek, J. B. Wells - 2006
56 The Mathematical Vernacular, a language for mathematics with typed sets – N G de Bruijn - 1987
22 Formal Proof Sketches – Freek Wiedijk - 2002
4 Multivariate Polynomials with Arbitrary Number of Variables, Formalized Mathematics – P Rudnicki, A Trybulec - 1999
15 MathLang: experience-driven development of a . . . – Fairouz Kamareddine, Manuel Maarek, Joe Wells - 2003
1276 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
14 The mizar logic information language – A Trybulec - 1980
24 Flexible encoding of mathematics on the computer – Fairouz Kamareddine, Manuel Maarek, J. B. Wells - 2004
2 MizarMode: Emacs Authoring Environment for Mizar, available online at http://kti.mff.cuni.cz/~urban/MizarModeDoc/html – J Urban
2 MPTP - Motivation, Implementation, First Experiments. Accepted to editors Ingo Dahn, Deepak Kapur and Laurent Vigneron – Josef Urban
20 Information Retrieval in MML – G Bancerek, P Rudnicki - 2003
2 Abelian Groups, Fields and Vector Spaces, Formalized – E Kusak, W Leonczuk, M Muzalewski - 1990
2 On the Concept of Triangulation, Formalized – B Madras - 1996
2 et al.: Commutative Algebra in Mizar 30 L. Thery, A Machine-Checked Implementation of Buchberger's Algorithm – Rudnicki - 2001
39 Zermelo Theorem and Axiom of Choice – Grzegorz Bancerek - 1989
344 V.: Gröbner Bases. A computational approach to commutative algebra. Springer–Verlag GTM – T Becker, Weispfenning - 1991
44 Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra – Paul Bernard Jackson - 1995