ICMS 2018 - Session 16: Software for exact and certified numeric computations

details on the session web page


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.


© 2022. All rights reserved.