DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique
University or research institute · Saclay, France · Founded 2021
Website: inria.fr. University or research institute in Saclay, France, founded 2021. Profile and ecosystem links on Innovative EcoSystems.
In context
DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique is one of 19 universities and research institutes in Saclay listed in the Innovative EcoSystems registry, and one of 3,828 across France.
The registry lists 22 innovation ecosystem organizations in Saclay in all.
Universities and research institutes train the workforce and produce the research a regional economy builds on. Their technology transfer offices license discoveries, spin out companies and partner with industry.
France scores 67.0 out of 100 on the IEPA (2024 edition), ranking 26 of 117 economies.
More universities and research institutes in Saclay
- TAU: IA : vers des problèmes mieux posés
Saclay - QUACS: Structures de calcul quantique
Saclay - EX-SITU: Interaction Située Extrême
Saclay - ILDA: Interacting with Large Data
Saclay - AVIZ: Analyse et visualisation
Saclay - GRACE: Geometry, arithmetic, algorithms, codes and encryption
Saclay - Maison de la Simulation
Saclay - TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations
Saclay
Elsewhere in Saclay
- Centrale Supelec
Incubator
More universities and research institutes in France
- Institut de Physique Nucléaire d’Orsay
Orsay · Dormant - Institut Catholique d'Arts et Métiers
Paris - International Space University
Illkirch-Graffenstaden - Etude longitudinale française depuis l'enfance
Paris - Institut Pasteur de Lille
Lille - MATHNEURO: Mathématiques pour les Neurosciences
Montpellier - Laboratory of Pathogens and Host Immunity
Montpellier - Laboratoire Ville Mobilité Transport
Champs-sur-Marne