Dans chacun de nos domaines de recherche, des logiciels sont développés et utilisés à des fins multiples : objet de publication scientifique en tant que tel, outil pour permettre la publication, expérimentation scientifique, benchmarking. In fine, certains de ces logiciels trouvent une utilisation dans le monde industriel et font l'objet de transfert, de montage de communauté open source, de consortium, etc. On peut citer à titre d'exemple : Coq, Cgal, Sm, Open-Meeg, Bluebear ...