Pages that link to "Item:Q915496"
From MaRDI portal
The following pages link to Challenge problems in elementary calculus (Q915496):
Displayed 6 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)