ICMS 2020

Session B: Real Algebraic Geometry

Organisers

• Erika Ábráham (RWTH Aachen, Germany)
• James H. Davenport (University of Bath, UK)
• Matthew England (Coventry University, UK)

Aim and Scope

Real Algebraic Geometry is a field of substantial computational importance in the real world, even if much less taught than geometry over algebraically closed fields. Software tools for checking the satisfiability of real-algebraic formulas play an important role in a wide range of applications. Such tools are being developed in Mathematics in the form of computer algebra systems as well as in Computer Science as SAT-modulo-theories (SMT) solvers. However, there are numerous theoretical as well as practical obstacles to efficient algorithms that fit the applications. This session should be a place where theoretical and practical results in computational real algebraic geometry can be presented.

Accepted Talks

• Erika Abraham (RWTH Aachen), James H. Davenport (University of Bath), Matthew England (Coventry University) and Gereon Kremer (RWTH Aachen)
  Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings
  Click for Abstract.
• Changbo Chen (Chinese Academy of Sciences, Chongqing)
  Chordality Preserving Incremental Triangular Decomposition and Its Implementation
  Click for Abstract.
• Rui-Juan Jing (Jiangsu University), Marc Moreno Maza (University of Western Ontario), Delaram Talaashrafi (University of Western Ontario)
  Handling systems of linear inequalities with the BPAS library
  Click for Abstract.
• Akshar Nair (University of Bath)
  Curtains in CAD: Why are they a problem and how do we fix them?
  Click for Abstract.
• Li-Yong Shen (University of the Chinese Academy of Sciences, Beijing)
  A Maple package for implicitization of rational curves and surfaces
  Click for Abstract.
• Zak Tonks (University of Bath)
  VTS and Lazard Projection CAD in Quantifier Elimination with Maple
  Click for Abstract.