The following pages link to Semi-Automated Mathematics (Q5565138):
Displaying 11 items.
- Basic research problems: The problem of choosing the representation, inference rule, and strategy (Q809627) (← links)
- The problem of choosing the type of subsumption to use (Q809628) (← links)
- Unification theory (Q1124375) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- A man-machine theorem-proving system (Q1845619) (← links)
- An examination of the geometry theorem machine (Q2542288) (← links)
- Resolution graphs (Q2543000) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen (Q4067159) (← links)
- Associative-commutative deduction with constraints (Q5210795) (← links)
