Laboratoire

• Annuaire
• Contacts & Accés
• Intranet

Recherche

• Géomérie & Images
• Modèles et Algorithmes Déterministes
• Statistique
• Séminaires & Colloquiums

Ressources

• Publications
• Logiciels
• Galerie
• Plateforme LJK Forge
• Plateforme MIRAGE
• Sujets de Thèse
• Offres d'Emplois

Liens

• Ecole Doctorale
• UFR-IMA
• ENSIMAG
• INRIA Rhone-Alpes

Équipe CASYS - LOGICIELS

Accueil

Membres

Séminaire

Stages et thèses

Publications

Logiciels

Images

Linear Algebra

• Matrix depending on parameters / eigenvalues
• LinBox: a generic library for exact linear algebra
• Finite Fields Linear Algebra Subroutines
• Simplicial Homology: a proposed gap package
• Givaro: a generic library for finite fields and extensions
  

Hybrid Systems

• CASCADE: Computational Analysis and Simulation unsing Continuous Approximations for Differential Equations
• SHOC: Optimal control of Hybrid Ordinary Differential Systems
• MATISSE: Metrics for Approximate Transition Systems Simulation and Equivalence.

Differential equations

• DESIR: Differential Equation Singularities Irregular and Regular
  
• DynSys: Evolutive Dynamical Systems
  
• Linear differential equations and systems
• Differential-algebraic equations (DAE)
• Dynamical systems
• Orthogonal polynomial series
  

Arithmetic

• CRQ: Correctly Rounded Quadrature
  
• PaloAlto: fixed precision arithmetic for cryptology