scientific article; zbMATH DE number 3624817

MaRDI QIDQ4187337zbMATH OpenFDO

Authors L. S. van Benthem Jutting

Publication date 1979

zbMATH Keywords

AutomathFoundations of Real AnalysisProgramming Language for Theorem Proving

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Software, source code, etc. for problems pertaining to real functions (26-04) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Cited in

(14)

• On the syntax of Martin-Löf's type theories
• The logical study of science
• Revisiting the notion of function
• Procedural representation of CIC proof terms
• Computerizing mathematical text with MathLang
• Automath and Pure Type Systems
• A formalization of properties of continuous functions on closed intervals
• Irrationality and transcendence criteria for infinite series in Isabelle/HOL
• Progress in the Development of Automated Theorem Proving for Higher-Order Logic
• Licensing the Mizar Mathematical Library (MML)
• Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician
• N. G. de Bruijn's contribution to the formalization of mathematics
• An example of formalizing recent mathematical results in MIZAR
• Supporting the formal verification of mathematical texts

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4187337)