Explore projects

Towards a reproducible research study

Towards a reproducible research study with Guix

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

Vers une étude scientifique expérimentale reproductible avec Guix

Itauto: an Extensible Intuitionistic SAT Solver

PhD thesis LaTeX template for the 11 doctoral schools in Brittany and Pays de Loire. Project initiated by former PhD students at the MathSTIC doctoral school in collaboration with the doctoral school.