The following pages link to (Q4664927):
Displayed 4 items.
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)