Explore projects

Codes used for numerical simulations of the equatorial modons in the thermal rotating shallow water model.

Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)

Vers un solveur direct à base de tâches pour des systèmes linéaires FEM/BEM creux/denses

Towards a reproducible research study

An experimental study based on the test_FEMBEM solver using Guix for the management of its software environment

An experimental study based on the test_FEMBEM solver

LibPFASST fork with support for dynamic resources

Presentation of the thesis at the beginning of post-doc

Unofficial Beamer template based on Inria color palette