The following pages link to Knowledge-based proof planning (Q1978469):
Displaying 5 items.
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Comparing approaches to the exploration of the domain of residue classes. (Q1404427) (← links)
- Agenda control for heterogeneous reasoners (Q1764797) (← links)
- Constraint solving for proof planning (Q1774557) (← links)