Mathematical Knowledge Management

DOI10.1007/11618027zbMath1151.68628OpenAlexW2480281325MaRDI QIDQ5898516

Christoph Benzmüller, Dominik Dietrich, Claus-Peter Wirth, Andreas Meier, Serge Autexier

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Data structures (68P05)

Related Items

Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps ⋮ Formal Proof: Reconciling Correctness and Understanding ⋮ Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors ⋮ PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems

Uses Software

• Coq
• Isabelle
• TPS
• Nuprl
• InKa
• OMEGA