4 Citations (SciVal)


When one goes from a geometrical statement to an algebraic statement, the
immediate translation is to replace every point by a pair of coordinates, if in the plane (or more as required). A statement with N points is then a statement with 2N (or 3N or more) variables, and the complexity of tools like cylindrical algebraic decomposition is doubly exponential in the number of variables. Hence one says "without loss of generality, A is at (0,0)" and so on.
How might one automate this, in particular the detection that a "without loss of generality" argument is possible, or turn it into a procedure (and possibly even a
formal proof)?
Original languageEnglish
Pages (from-to)297-303
JournalMathematics in Computer Science
Issue number3-4
Early online date25 Apr 2017
Publication statusE-pub ahead of print - 25 Apr 2017

Bibliographical note

Based on a presentation at ACA 2016 and at SYNASC 2016


  • Symmetry; Generality; Cylindrical Algebraic Decomposition


Dive into the research topics of 'What does “without loss of generality” mean, and how do we detect it'. Together they form a unique fingerprint.

Cite this