The Centre's objective is to pursue fundamental, long-term research in formal methods, software security, and the application of Computer Science research to the Sciences.
Mathematical Components
Dynamic Dictionary of Mathematical Functions
A-Brain
Tools for Proofs
20 June 2013, 14:00-15:00, Orsay University, department of Mathematics, Bat 425 (ground ...
