What does ``without loss of generality'' mean, and how do we detect it (Q1701639): Difference between revisions

@@ Property / describes a project that uses @@
+GEOTHER 1.1
@@ Property / describes a project that uses: GEOTHER 1.1 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RegularChains
@@ Property / describes a project that uses: RegularChains / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProjectionCAD
@@ Property / describes a project that uses: ProjectionCAD / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11786-017-0316-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2610071704
@@ Property / OpenAlex ID: W2610071704 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59614765
@@ Property / Wikidata QID: Q59614765 / rank @@
+Normal rank
@@ Property / cites work @@
+Building Bridges between Symbolic Computation and Satisfiability Checking
+Normal rank
@@ Property / cites work @@
+$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
+Normal rank
@@ Property / cites work @@
+An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
+Normal rank
@@ Property / cites work @@
+What does ``without loss of generality'' mean, and how do we detect it
+Normal rank
@@ Property / cites work @@
+Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
+Normal rank
@@ Property / cites work @@
+Without Loss of Generality
@@ Property / cites work: Without Loss of Generality / rank @@
+Normal rank
@@ Property / cites work @@
+On the application of Buchberger's algorithm to automated geometry theorem proving
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank
@@ Property / cites work @@
+Validity proof of Lazard's method for CAD construction
+Normal rank
@@ Property / cites work @@
+GEOTHER: A geometry theorem prover
@@ Property / cites work: GEOTHER: A geometry theorem prover / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/mics/Davenport17
@@ Property / DBLP publication ID: journals/mics/Davenport17 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1701639