Ωmega: Towards a mathematical assistant
From MaRDI portal
Publication:5234706
DOI10.1007/3-540-63104-6_23zbMath1430.68393MaRDI QIDQ5234706
Michael Kohlhase, Christoph Benzmüller, Manfred Kerber, Andreas Meier, Volker Sorge, Jörg H. Siekmann, Erica Melis, Xiaorong Huang, Lassaad Cheikhrouhou, Detlef Fehrer, Karsten Konrad, Armin Fiedler, Wolf Schaarschmidt
Publication date: 1 October 2019
Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-63104-6_23
68V20: Formalization of mathematics in connection with theorem provers
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
MBase: Representing knowledge and context for the integration of mathematical software systems, OMEGA, SAD as a mathematical assistant -- how should we go from here to there?, Supporting the formal verification of mathematical texts, Agenda control for heterogeneous reasoners, Presenting inequations in mathematical proofs, Knowledge-based proof planning, Dealing with algebraic expressions over a field in Coq using Maple
Uses Software