learning software package Scilab, a numerical computation software package SimGrid SmartEiffel, a free Eiffel compiler SOFA, an open source framework for multi-physics simulation with an emphasis on medical simulation. TOM, a pattern matching language ViSP, an open source visual servoing platform library XtreemFS XtreemOS Zenon, an extensible automated theorem prover producing checkable proofs Inria furthermore leads French AI Research, ranking 12th worldwide in 2019, based on accepted publications at the prestigious Conference on Neural Information Processing Systems. References Further reading External links Computer science research organizations History of computing in France Scientific agencies of the government of France Theoretical computer science Computer science institutes in France Members of the European Research Consortium for Informatics and Mathematics Information technology research institutes