Explore projects

This project is the implementation of a small sequential fair division game over a graph.

Double diffusive convection threshold from results of Busse (2002)

Lanceur de programmes basé sur TakTuk.

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.

Doctoral Course

ECMI groupwork 2018

Projet-test crée dans le but de créer un Readthedocs annexe et faire des tests avant de créer un Readthedocs pour le vrai projet (Omegalpes).

Research project for connecting spark and MPI universe.