Explore projects

Control of accuracy and debugging for C/C++ and Fortran applications

TRACFM : Next POI Recommendation using Mixed Transition and Collaborative Filtering Models

Algorithms to solve boolean polynomial systems

Control of accuracy and debugging for Python applications

Powerpoint and beamer template for MLIA/LIP6 using Sorbonne Université style

An unofficial LiP6 Beamer template for typesetting slides in LaTeX.

Static Timing Analyser