Mathematical Knowledge Management
From MaRDI portal
Publication:5898514
DOI10.1007/11618027zbMATH Open1151.68659OpenAlexW2480281325MaRDI QIDQ5898514FDOQ5898514
Authors: Serge Autexier, Armin Fiedler 
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11618027
Recommendations
- Formal Proof: Reconciling Correctness and Understanding
- The granularity of meaning in proof-theoretic semantics
- Explicit Proofs in Formal Provability Logic
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
- On formal and informal provability
- scientific article; zbMATH DE number 5037198
- Formal proof -- theory and practice
- Proofs and countermodels in non-classical logics
- Provability logic—a short introduction
Knowledge representation (68T30) Methodology of mathematics (00A35) Mechanization of proofs and logical operations (03B35)
Cited In (6)
- Granularity analysis for tutoring mathematical proofs
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Supporting the formal verification of mathematical texts
- Formalized mathematical content in lecture notes on modelling and analysis
- Verifying and Invalidating Textbook Proofs Using Scunak
- Assertion-level proof representation with under-specification
Uses Software
This page was built for publication: Mathematical Knowledge Management
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898514)
