RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @article{RISC4231,
    author = {Manuel Kauers},
    title = {{How To Use Cylindrical Algebraic Decomposition}},
    language = {english},
    abstract = { 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. },
    journal = {Seminaire Lotharingien de Combinatoire},
    volume = {65},
    number = {B65a},
    pages = {1--16},
    isbn_issn = {ISSN 1286-4889},
    year = {2011},
    refereed = {yes},
    length = {16}
    }