Logiciels

"Faust (Functional Audio Stream) permet de concevoir de manière simple des synthétiseurs et des effets..."

"Lexique français sur les émotions contenant plus de 14 000 mots distincts exprimant des émotions et..."

"Flocq (Floats for Coq) est une formalisation de l'arithmétique à virgule flottante pour le système Coq...."

"Galois Lattices, Concept Theory, Implicational Systems and Closures"

"Galpy est un package Python pour la dynamique galactique."

"Plate-forme de simulation, qui vise à fournir aux experts de terrain, aux modélisateurs et aux informaticiens..."

"Logiciel permettant diverses tâches liées à la structure communautaire des réseaux complexes : détection..."

"Gappa est destiné à aider, à vérifier et à prouver formellement des propriétés sur des programmes numériques..."

"Simulation de parcours, itinéraires de véhicules et de les optimiser en termes de temps, coûts et impacts..."

Équipes