Real Geometry and Connectedness via Triangular Description

Research output

Research output per year 2012 2013 2014 2015 2020

• 17 Chapter in a published conference proceeding
• 10 Article
• 5 Chapter or section
• 4 Other report
• 3 More
  • 1 Paper
  • 1 Editorial
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2015

  Improving the use of equational constraints in cylindrical algebraic decomposition

  England, M., Bradford, R. & Davenport, J. H., Jul 2015, p. 165-172. 8 p.

  Research output: Contribution to conference › Paper

  Open Access

  • Projection 100%
  • Cylindrical Algebraic Decomposition 100%
  • Buildings 100%
  • Complexity 100%
  • Polynomial 50%
  25 Citations (SciVal)

  84 Downloads (Pure)