The Rigorous Numerical Kernel of Ariadne

Pieter Collins - Univ. di Maastricht
Date and time
Tuesday, April 2, 2019 at 4:30 PM - Aula Verde
Programme Director
External reference
Publication date
March 18, 2019
Computer Science  


In this talk, I will describe the mathematical foundations and the computational kernel of the Ariadne model-checking tool. The computational kernel includes generic interfaces for numbers, functions and sets, and various concrete implementations of these. It includes support for important basic mathematical operations, including interval arithmetic, matrix algebra, automatic differentiation, Taylor polynomial and Fourier function calculi, and geometric operations based on pavings and constraints. These in turn are used for more complicated operations, such as the solution of algebraic and differential equations, and of constraint satisfaction and optimisation problems. The kernal is based on the theory of computable analysis, which provides a clear conceptual framework and semantics of allowable operation. Throught the talk, I will give examples of the use of the tool to rigorously solve simple problems from the mathematical sciences.

Contact Person: Prof. Tiziano Villa

© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234