Omega-ANTS

swMATH19626MaRDI QIDQ31451FDOQ31451

Author name not available (Why is that?)

Described by source

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

Cited In (8)

• \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
• 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