La bibliothèque ALIAS ( Algorithms Library of Interval Analysis for Systems) a pour objet d'appliquer l'analyse par intervalles aux problèmes d'analyse et de résolution de systèmes, d'optimisation, d'analyse de polynômes paramétrés etc.. . L'écriture de cette bibliothèque a commencé en 1998. La documentation d'ALIAS-C++ inclue des exemples réalistes d'application de l'analyse par intervalles

The ALIAS library intends to use interval analysis for systems solving, optimization, parametric polynomials study etc... This project has started in 1998. The ALIAS-C++ documentation includes realistic applications of interval analysis

• Alias-C++: une bibliothèque d'analyse par intervalles, an interval analysis library (version 2.5, environ 100 000 lignes de code) pdf documentation, html documentation
• Alias-Maple: l'interface Maple d'ALIAS, the Maple interface to ALIAS (version 2.5, environ 50 000 lignes de code), pdf documentation, html documentation
• Télécharger ALIAS/Downloading ALIAS
• Des exemples pédagogiques de l'utilisation d'ALIAS/Some pedagogic example of the use of ALIAS are presented ici/here
• et une liste complète d'exemples/and a a complete list of examples ici/here