OMEGA
From MaRDI portal
Software:31448
swMATH19623MaRDI QIDQ31448FDOQ31448
Author name not available (Why is that?)
Source code repository: https://github.com/theoremprover-museum/OMEGA
Cited In (30)
- \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
- Title not available (Why is that?)
- Automated proof construction in type theory using resolution
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
