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

Research exposition (monographs, survey articles) pertaining to computer science (68-02) 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)

Cited in

(14)

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

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)