The following pages link to (Q4499159):
Displaying 4 items.
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- A new symbolic method for solving linear two-point boundary value problems on the level of operators (Q2456540) (← links)
- Automated conjecture making in number theory using HR, Otter and Maple (Q2456561) (← links)
- Using Theorema in the Formalization of Theoretical Economics (Q5200108) (← links)