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

• 2020

  Symbolic computation and satisfiability checking

  Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 30 Sept 2020, In: Journal of Symbolic Computation. 100, p. 1-10

  Research output: Contribution to journal › Editorial › peer-review

  Open Access

  File

  • Symbolic Computation 100%
  • Context 33%
  10 Citations (SciVal)

  60 Downloads (Pure)