Laboratoire

• Annuaire
• Contacts & Accès
• Intranet

Recherche

• Géométrie & Images
• Algorithmes, Modèles, Analyse et Calcul
• Statistique
• Séminaires & Colloquiums

Ressources

• Publications
• Logiciels
• Galerie
• Platforme Gricad Gitlab
• Sujets de Thèse
• Offres d'Emplois

Liens

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

Équipe CAS3C3 - 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
• FFLAS-FFPACK : Finite Fields Linear Algebra Subroutines
• Simplicial Homology: a proposed gap package
• Galet : Matrix multiplication memory schedule generator
• FFSpMv : sparse matrix-vector multiplication on GPU

Hybrid Systems

• CoSyMa: Controller Synthesis using Multi-scale Abstractions
• DynSys: A program for dynamical systems based on dynamic graphs
• 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.
• Dynamical systems

Differential equations

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

Arithmetic

• Givaro: a generic library for finite fields and extensions
  
• CRQ: Correctly Rounded Quadrature
  
• PaloAlto: fixed precision arithmetic for cryptology (now included in Givaro)

Semantics of programming languages

• CoqEffects: Proving properties of programs involving computational effect