Omega-ANTS

swMATH19626MaRDI QIDQ31451FDOQ31451

Author name not available (Why is that?)

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

Described by source

• \(\Omega\)-ANTS -- An open approach at combining interactive and automated theorem proving

Cited In (19)

• \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
• Title not available (Why is that?)
• Towards learning new methods in proof planning
• KI 2004: Advances in Artificial Intelligence
• Distributed assertion retrieval
• Computer supported mathematics with \(\Omega\)MEGA
• Combined reasoning by automated cooperation
• MAYA
• MBase
• Pcoq
• MathWeb
• OMEGA
• Leo
• LOUI
• Plat-Omega
• Doris
• Multi
• P.rex
• 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

This page was built for software: Omega-ANTS