Cited in
(19)- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- scientific article; zbMATH DE number 1980938 (Why is no real title available?)
- Towards learning new methods in proof planning
- KI 2004: Advances in Artificial Intelligence
- Distributed assertion retrieval
- Computer supported mathematics with 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
