Search for European Projects

We propose to developed libraries of formalized mathematics concerning linear algebra, real number computation, and algebraic topology. The main originality of this work will be to structure these libraries as a software development, relying on a basis that has already shown its power in the formal proof of the four color theorem, and to address topics that were mostly left untouched by previous r ...

Ces actions permettront aux chercheurs et aux professeurs des trois centres de collaborer a de nouvelles lignes de recherche qui intéressent la société et les entreprises gravitant autour des universités. Elles permettront d’élaborer et de réaliser des cours conjointement ainsi que l’échange de professeurs et étudiants. Elles favorisent la participation a des débats sur de futures évolutions telle ...