Explore projects

Symbolic Observation Graph-Based Generation of Test Paths

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Fork of the Coq Num Analysis library to test Continuous Integration

un outil qui regroupe les deux approaches. Il prend en entrée un fichier .dot modelisant le graphe ou un nombre n pour construire un graphe aleatoire avec n noeuds puis calcule la solution optimale .

Multi-core Decision Diagram (BDD/LDD) implementation

Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)