Explore projects

Project moved to https://gitlab.com/ed-matisse/latex-template.

Former repository for the PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.

Itauto: an Extensible Intuitionistic SAT Solver

Real-time capable task-space capacity evaluation python module https://auctus-team.gitlabpages.inria.fr/people/antunskuric/pycapacity/

ProVerif symbolic protocol verifier

An R package for specifying and extracting data frames ready for data analysis from populations of MR images.

A fork of MATISSE's thesis template

Tools to check the accuracy of mathematical functions

notes de thèse pour Pierre-Antoine Rault - dernier rapport

Former repository for the DBL LaTeX thesis template. Moved to https://gitlab.com/ed-matisse/latex-template.

How to use Org mode and Guix to build a reproducible experimental study

Gathers technical materials to follow on what has been learnt and what is to be learnt

An experimental study based on the test_FEMBEM solver