Pages that link to "Item:Q5234706"
From MaRDI portal
The following pages link to Ωmega: Towards a mathematical assistant (Q5234706):
Displaying 11 items.
- OMEGA (Q31448) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Agenda control for heterogeneous reasoners (Q1764797) (← links)
- Presenting inequations in mathematical proofs (Q1818758) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- Web interfaces for proof assistants (Q2867935) (← links)
- Plagiator — A learning prover (Q5234707) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)