Pages that link to "Item:Q5464706"
From MaRDI portal
The following pages link to Artificial Intelligence and Symbolic Computation (Q5464706):
Displaying 5 items.
- Morley's theorem revisited: origami construction and automated proof (Q633087) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Theorema 2.0: A System for Mathematical Theory Exploration (Q2879097) (← links)
- (Q3059444) (← links)