Without Loss of Generality
From MaRDI portal
Recommendations
Cites work
Cited in
(19)- Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
- Formula simplification via invariance detection by algebraically indexed types
- Lyndon words formalized in Isabelle/HOL
- Formalization of the Poincaré disc model of hyperbolic geometry
- A formal proof of the Kepler conjecture
- Formalization of Wu's simple method in Coq
- Formalizing complex plane geometry
- Towards automated proving in solid geometry
- Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity
- Formalizing Pick's theorem in Isabelle/HOL
- Formalising geometric axioms for Minkowski spacetime and without-loss-of-generality theorems
- Spreads and packings of PG(3,2), formally!
- Relevance-Sensitive Truth-Trees
- The phenomenology of second-level inference: perfumes in the deductive garden
- The HOL Light theory of Euclidean space
- Symmetries in modal logics
- What does ``without loss of generality mean, and how do we detect it
- A formal proof of Pick's theorem
This page was built for publication: Without Loss of Generality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3183516)