Manuel Kauers,
"How to Use Cylindrical Algebraic Decomposition"
, in Séminaire Lotharingien de Combinatoire, Vol. 65, Nummer B65a, Seite(n) 1-16, 2011, ISSN: 1286-4889
Original Titel:
How to Use Cylindrical Algebraic Decomposition
Sprache des Titels:
Englisch
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Journal:
Séminaire Lotharingien de Combinatoire
Volume:
65
Number:
B65a
Seitenreferenz:
1-16
Erscheinungsjahr:
2011
ISSN:
1286-4889
Anzahl der Seiten:
16
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift
Forschungs-