swMATH19623MaRDI QIDQ31448FDOQ31448
Author name not available (Why is that?)
Official website: https://github.com/theoremprover-museum/OMEGA
Source code repository: https://github.com/theoremprover-museum/OMEGA
Cited In (51)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards learning new methods in proof planning
- Automated Deduction – CADE-20
- Mathematical Knowledge Management
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- Distributed assertion retrieval
- Mechanizing Mathematical Reasoning
- Mathematical Knowledge Management
- Title not available (Why is that?)
- Automatic Learning of Proof Methods in Proof Planning
- Mechanizing Mathematical Reasoning
- MBase
- Gandalf
- MathWeb
- Title not available (Why is that?)
- Automated proof construction in type theory using resolution
- Title not available (Why is that?)
- TRAMP
- Title not available (Why is that?)
- CLAM
- KEIM
- Leo
- LOUI
- MKRP
- Omega-ANTS
- Oyster
- Plat-Omega
- Bliksem
- KOMET
- MathLang
- Medmaker
- Multi
- P.rex
- CoCLAM
- Omega-MKRP
- PROVERB
- Mathematical Knowledge Management
- Recent developments in mega's proof search programming language
- Failure reasoning in multiple-strategy proof planning
- Exploring properties of residue classes
- Assertion-level proof representation with under-specification
- More SPASS with Isabelle
- Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
- Hammering towards QED
This page was built for software: OMEGA
