COPRIN: Contraintes, OPtimisation, Résolution par INtervalles

• l'équipe
• les thèmes de recherche
• les développements matériels et logiciels (documentations et téléchargement, prototypes)
• les applications traitées
• les projets auxquels nous participons

À essayer

• ALIAS EN LIGNE ... un solveur de systèmes en ligne utilisant la bibliothèque ALIAS

À voir aussi

• Un tutoriel sur l'analyse par intervalles
• Un film (MPEG) exposant le principe de base de cette méthode
• Un texte introductif et des exemples de ce que peut faire l'analyse par intervalles pour résoudre des problèmes pratiques
• Une liste complète de problèmes traités par nos méthodes (résolution de systèmes, optimisation, calcul d'intégrales)
• nos publications
• notre dernier rapport annuel d'activité