The following pages link to (Q4229404):
Displaying 13 items.
- 25 new \(r\)-self-orthogonal Latin squares (Q383692) (← links)
- Automated reasoning in social choice theory: some remarks (Q475377) (← links)
- Schröder quasigroups with a specified number of idempotents (Q764872) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Completing the spectrum of \(r\)-orthogonal Latin squares (Q1398282) (← links)
- Quasigroups satisfying Stein's third law with a specified number of idempotents (Q1759401) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- Proving pointer programs in higher-order logic (Q2486585) (← links)
- (Q4003525) (← links)