Corrigé du TME sur le calcul de π à grande précision
Static Timing Analyser
Additional commands and libraries for inrimage distribution
kit of operating system for educational purpose
A tool to visualize 2D vector fields
Algorithms to solve boolean polynomial systems
Multivariate polynomial system solver
Special version of the M4RI library for the PPAR class.