The following pages link to Solution of the Robbins problem (Q1373299):
Displayed 17 items.
- MPTP-motivation, implementation, first experiments (Q556682) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem (Q1273392) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- The application of automated reasoning to formal models of combinatorial optimization (Q1854978) (← links)
- Simplifying von Plato's axiomatization of constructive apartness geometry (Q1964142) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Automated conjecture making in number theory using HR, Otter and Maple (Q2456561) (← links)
- Linear groupoids and the associated wreath products. (Q2456592) (← links)
- On Automating the Calculus of Relations (Q3541686) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)