ICMS 2018 Session: Software for exact and certified numeric computations

ICMS 2018: Home, Sessions


Aim and Scope

Exact and certified numeric computations produce rigorous and reliable results which are vital in algebraic geometry, geometric computing, cryptography, program verification, and many other areas of science and engineering. This session aims at bringing researchers from Mathematics and Computer Science together with software developers and engineers to present advances and on-going work on the development of software for symbolic and certified numeric computations with nonlinear, algebraic, differential, geometric, and hybrid systems.

Topics (including, but not limited to)


Submission Guidelines