Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega

DOI10.1007/S11786-008-0054-6zbMath1176.68207OpenAlexW2022363644WikidataQ122223197 ScholiaQ122223197MaRDI QIDQ841687

Serge Autexier, Dominik Dietrich, Christoph Benzmüller, Marc Oliver Wagner

Publication date: 18 September 2009

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-008-0054-6

zbMATH Keywords

proof assistantssystem architecturemathematical knowledge management

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (2)

Crystal: Integrating structured queries into a tactic language ⋮ Formal Proof: Reconciling Correctness and Understanding

Uses Software

• Proof General
• OMEGA

This page was built for publication: Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega