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

• 2012

  Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

  Davenport, J., Bradford, R., England, M. & Wilson, D., 2012, (In preparation).

  Research output: Working paper / Preprint › Working paper

  File

  • Research 100%
  • Researchers 50%
  • Autumn 50%
  57 Downloads (Pure)