The following pages link to OMEGA (Q31448):
Displaying 30 items.
- Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega (Q841687) (← links)
- Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts (Q1601863) (← links)
- Automated proof construction in type theory using resolution (Q1868508) (← links)
- (Q2723415) (← links)
- (Q2723444) (← links)
- Towards learning new methods in proof planning (Q2751546) (← links)
- Exploring properties of residue classes (Q2751548) (← links)
- (Q2767093) (← links)
- Distributed assertion retrieval (Q2767923) (← links)
- Assertion-level proof representation with under-specification (Q2847390) (← links)
- Failure reasoning in multiple-strategy proof planning (Q2848045) (← links)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems (Q2867939) (← links)
- More SPASS with Isabelle (Q2914754) (← links)
- (Q4428312) (← links)
- (Q4433981) (← links)
- Automatic Learning of Proof Methods in Proof Planning (Q4465166) (← links)
- (Q4539626) (← links)
- (Q4664927) (← links)
- (Q4797443) (← links)
- (Q4808725) (← links)
- Recent developments in mega's proof search programming language (Q5176482) (← links)
- Hammering towards QED (Q5195271) (← links)
- Mathematical Knowledge Management (Q5313058) (← links)
- Automated Deduction – CADE-20 (Q5394617) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- Mechanizing Mathematical Reasoning (Q5717445) (← links)
- Mechanizing Mathematical Reasoning (Q5717449) (← links)
- Mechanizing Mathematical Reasoning (Q5717467) (← links)
- Mathematical Knowledge Management (Q5898514) (← links)
- Mathematical Knowledge Management (Q5898516) (← links)
