Mathematical Knowledge Management
From MaRDI portal
Publication:5313076
DOI10.1007/b100478zbMath1109.03056OpenAlexW4234388457MaRDI QIDQ5313076
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100478
Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30)
Related Items
MPTP 0.2: Design, implementation, and initial experiments, Constructibility and decidability versus domain independence and absoluteness, A Framework for Formalizing Set Theories Based on the Use of Static Set Terms, The middle ground-ancestral logic, A Logical Framework for Developing and Mechanizing Set Theories, Formalizing Scientifically Applicable Mathematics in a Definitional Framework
