ICMS 2020 Session

Real Algebraic Geometry


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

Submission Guidelines

If you would like to give a talk in this ICMS session, you must first submit a proposed title and short abstract to one of the session organisers by email. If accepted, you then have the option to submit also an extended abstract to be included in the conference proceedings: these will be submitted to the ICMS easychair page and undergo review. The deadlines and instructions for proceedings submission are on the main ICMS 2020 webpage.


© 2020. All rights reserved.