Explore projects

Sémantique et vérification

On scan nos prises de notes

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

My faust minimoog from ATIAM

Physique et Informatique Fondamentale, année 2020-2021

Appendix of the report "Levenberg-Marquardt on Manifolds"

This project contains the code my internship supervisor (Kaito Fujii) and myself developed during my 3 months internship at NII, Tokyo. It computes different kinds of game equilibria on Bayesian games and focuses more specifically on communication equilibria.

Voronoi algorithm for pure cubic fields