Explore projects

Verifiable online voting system http://www.belenios.org

PlaFRIM user documentation

Seed detection in metabolic networks using both logic programming and linear programming.

Gathers technical materials to follow on what has been learnt and what is to be learnt

This package implements the algorithms relying on Picard-Lefschetz theory for computing periods of algberaic varieties.

Parallel C++ library for Multivariate Data Analysis of large datasets.

Fast Methods for Randomized numerical linear algebra. Provides a set of tools to perform Randomized NLA computations in a fast and efficient way, e.g., using fast multipole matrix multiplication, along with various application-dependent addons.