Certified computing and computer algebra in AriC

We are interested in computing certified approximations using computer algebra and formal proof systems, in analyzing the fundamental algorithms of semi-numerical computation, in finding best or nearly best approximations under special constraints, and in designing efficient algorithms for exact linear algebra. Also, we are working on the development and standardization of interval arithmetic.

Members of the team participating in this activity are:

[Logo CNRS] [Logo ENS de Lyon] [Logo Inria] [Logo LIP]
[Logo UCB Lyon 1] [Logo Université de Lyon] [Logo Labex MILYON] [Logo Fédération Informatique de Lyon]

AriC project – Arithmetic and Computing