Séminaire Lotharingien de Combinatoire, B65a (2011), 16 pp.
How To Use Cylindrical Algebraic Decomposition
We take some items from a textbook on inequalities and show how to prove them
with computer algebra using the Cylindrical Algebraic Decomposition
algorithm. This is an example collection for standard applications of this
algorithm, intended as a guide for potential users.
Received: January 21, 2011.
Accepted: January 24, 2011.
Final Version: January 27, 2011.
The following versions are available: