What does ``without loss of generality mean, and how do we detect it
From MaRDI portal
Publication:1701639
DOI10.1007/s11786-017-0316-2zbMath1425.68464DBLPjournals/mics/Davenport17OpenAlexW2610071704WikidataQ59614765 ScholiaQ59614765MaRDI QIDQ1701639
Publication date: 27 February 2018
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-017-0316-2
Related Items (2)
What does ``without loss of generality mean, and how do we detect it ⋮ Formula simplification via invariance detection by algebraically indexed types
Uses Software
Cites Work
- Unnamed Item
- On the application of Buchberger's algorithm to automated geometry theorem proving
- What does ``without loss of generality mean, and how do we detect it
- Validity proof of Lazard's method for CAD construction
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
- Building Bridges between Symbolic Computation and Satisfiability Checking
- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
- Without Loss of Generality
- GEOTHER: A geometry theorem prover
This page was built for publication: What does ``without loss of generality mean, and how do we detect it
