Project : coprin

Section: Software

Keywords : constraints solving , optimization , symbolic computation .

ALIAS

Participants : Jean-Pierre Merlet, Yves Papegay, David Daney.

The ALIAS library (Algorithms Library of Interval Analysis for Systems) is a collection of procedures based on interval analysis for systems solving and optimization. Its development has started in 1998.

ALIAS is constituted of two parts:

• ALIAS-C++: the C++ library (300 000 code lines) which is the core of the algorithms

• ALIAS-Maple: the Maple interface for ALIAS-C++ (40 000 code lines). This interface allows one to specify a solving problem within Maple and to get the results within the same Maple session. The role of this interface is not only to generate automatically the C++ code, but also to perform an analysis of the problem in order to improve the efficiency of the solver. Furthermore a distributed implementation of the algorithms is available directly within the interface

Our effort this year has focused on improving the implementation and the documentation while using the library to solve practical problems (for example within the framework of the ROBEA-MAX project [15]). A web page with 54 application examples is now available together with pages describing the basic principles of interval analysis.

The current version of the library is available through the Web page http://www-sop.inria.fr/coprin/logiciels/ALIAS.