Team Coprin

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2004
Project: Coprin

Project : coprin

Section: Software

Keywords : solving framework, algorithm specification, constraints solving.


Participants : Gilles Chabert, David Daney.

Our current software ALIAS and ICOS provide various interval analysis modules but lack of flexibility for constructing and testing new solvers.

Icosalias is a new platform developed by the project. It can be used as a classical interval-based problems solver, but it is also aimed at being a research support, by providing means to integrate and combine different algorithms via a simple language or interface. The platform has been augmented with the following features :

Interesting results were obtained on several benchmarks. Icosalias was also used to solve significant problems, especially, a robot calibration problem based on real experimental data.


Logo Inria