Pages that link to "Item:Q915496"
From MaRDI portal
The following pages link to Challenge problems in elementary calculus (Q915496):
Displaying 11 items.
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- The rue theorem-proving system: The complete set of LIM+ challenge problems (Q1337564) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- Semantically guided first-order theorem proving using hyper-linking (Q5210771) (← links)
- The TPTP problem library (Q5210777) (← links)
- Ordered chaining for total orderings (Q5210789) (← links)
- Higher-order annotated terms for proof search (Q6567727) (← links)