Omega-ANTS

MaRDI QIDQ31451swMATHFDO

Official website https://www.zbmath.org/?q=an:01664913

Described by source

• -ANTS -- An open approach at combining interactive and automated theorem proving

Cited in

(19)

• MAYA
• MBase
• Pcoq
• MathWeb
• Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6--7, 2000
• Towards learning new methods in proof planning
• Distributed assertion retrieval
• \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
• Leo
• OMEGA
• Plat-Omega
• LOUI
• P.rex
• Doris
• Multi
• scientific article; zbMATH DE number 1980938 (Why is no real title available?)
• KI 2004: Advances in Artificial Intelligence
• Computer supported mathematics with MEGA
• Combined reasoning by automated cooperation

This page was built for software: Omega-ANTS