Real Geometry and Connectedness via Triangular Description

Davenport, James (PI)
Bradford, Russell (CoI)
England, Matthew (CoI)
Wilson, David (CoI)

Project: Research council

17 Chapter in a published conference proceeding
10 Article
5 Chapter or section
4 Other report
More

4 results

Filter

2015
An Implementation of Sub-CAD in Maple
England, M. & Wilson, D., Mar 2015, Bath U.K.: Department of Computer Science, University of Bath. 11 p. (Department of Computer Science Technical Report Series; no. CSBU-2015-01)
Research output: Book/Report › Other report

Open Access
File
300 Downloads (Pure)
2013
An Implementation of CAD in Maple Utilising McCallum Projection
England, M., Jan 2013, Bath, U. K.: Department of Computer Science, University of Bath. 11 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-02)
Research output: Book/Report › Other report

Open Access
File
327 Downloads (Pure)
An Implementation of CAD in Maple Utilising Problem Formulation, Equational Constraints and Truth-Table Invariance
England, M., May 2013, Bath, U. K.: Department of Computer Science, University of Bath. 14 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-04)
Research output: Book/Report › Other report

Open Access
File
299 Downloads (Pure)
Layered Cylindrical Algebraic Decomposition
Wilson, D. J. & England, M., Aug 2013, Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2013-05)
Research output: Book/Report › Other report

Open Access
File
65 Downloads (Pure)