Real Geometry and Connectedness via Triangular Description: CAD Example Bank

  • David Wilson (Creator)



A PDF file which lists the examples, their properties and their source; A text file for Maple which is designed to be read by Maple for easy access to the examples; A text file for QEPCAD from which examples can be easily copied for input into QEPCAD.
Date made availableApr 2012
PublisherUniversity of Bath
  • Speeding up cylindrical algebraic decomposition by Gröebner Bases

    Wilson, D. J., Bradford, R. J. & Davenport, J. H., 2012, Intelligent Computer Mathematics. Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (eds.). Heidelberg, Vol. 7362. p. 280-294 15 p. (Lecture Notes in Computer Science; vol. 7362).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    13 Citations (SciVal)
    155 Downloads (Pure)

Cite this