Pages that link to "Item:Q865650"
From MaRDI portal
The following pages link to Computer supported mathematics with \(\Omega\)MEGA (Q865650):
Displaying 13 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Tactics for hierarchical proof (Q626933) (← links)
- Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega (Q841687) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- An Online Computing and Knowledge Platform for Differential Equations (Q2819215) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
- THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- Mechanizing Mathematical Reasoning (Q5717467) (← links)