MACIS 2015 Session (SS4): Verified Numerical Computations

MACIS 2015: Home, Sessions Page


Aim and Scope

This special session is devoted to verified numerical computations related to self-validating methods and computer-assisted proofs. The verified numerical computations play important roles for rigorously solving linear and nonlinear equations. The main objective of the session is to discuss several recent topics on the verified numerical computations and numerical methods.

Topics (including, but not limited to)


Submission Guidelines