The following pages link to (Q4809066):
Displaying 6 items.
- HR (Q22353) (← links)
- Applying SAT solving in classification of finite algebras (Q862393) (← links)
- Mathematical applications of inductive logic programming (Q2433178) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- CATEGORY-BASED CO-GENERATION OF SEMINAL CONCEPTS AND RESULTS IN ALGEBRA AND NUMBER THEORY: CONTAINMENT-DIVISION AND GOLDBACH RINGS (Q5229614) (← links)
- Conjectures, tests and proofs: an overview of theory exploration (Q6646290) (← links)
