Explore projects

bibtex-sw-entry

Itauto: an Extensible Intuitionistic SAT Solver

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

ProVerif symbolic protocol verifier

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

Tools to check the accuracy of mathematical functions

Implementing symbolic data structure numeric grounding

A fork of MATISSE's thesis template

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.