The following pages link to Without Loss of Generality (Q3183516):
Displayed 14 items.
- Lyndon words formalized in Isabelle/HOL (Q832940) (← links)
- What does ``without loss of generality'' mean, and how do we detect it (Q1701639) (← links)
- The HOL Light theory of Euclidean space (Q1945903) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- Formula simplification via invariance detection by algebraically indexed types (Q2104529) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- A formal proof of Pick's Theorem (Q3094172) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden (Q4999457) (← links)
- Relevance-Sensitive Truth-Trees (Q5027231) (← links)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
- SYMMETRIES IN MODAL LOGICS (Q5346685) (← links)