Real Geometry and Connectedness via Triangular Description: CAD Example Bank

  • David Wilson (Creator)

Dataset

Description

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
Contact

Access Dataset

Research Output

  • 1 Conference contribution

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 in Book/Report/Conference proceeding › Conference contribution

Open Access
File
    • 10 Citations (Scopus)
    86 Downloads (Pure)

    Projects

    Real Geometry and Connectedness via Triangular Description

    Davenport, J., Bradford, R., England, M. & Wilson, D.

    Engineering and Physical Sciences Research Council

    1/10/11 → 31/12/15

    Project: Research council

    • Cite this

    Wilson, D. (Creator) (Apr 2012). Real Geometry and Connectedness via Triangular Description: CAD Example Bank. University of Bath. 10.15125/BATH-00069