A refinement of de Bruijn's formal language of mathematics
From MaRDI portal
Publication:1876109
DOI10.1023/B:JLLI.0000028393.47593.b8zbMath1048.03011OpenAlexW1988573483MaRDI QIDQ1876109
Rob Nederpelt, Fairouz Kamareddine
Publication date: 16 August 2004
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:jlli.0000028393.47593.b8
Methodology of mathematics (00A35) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items
SAD as a mathematical assistant -- how should we go from here to there?, Supporting the formal verification of mathematical texts, User interaction with the Matita proof assistant, On the Structure of Mizar Types, Unifying Math Ontologies: A Tale of Two Standards, On Correctness of Mathematical Texts from a Logical and Practical Point of View, Computerizing Mathematical Text with MathLang
Uses Software