Links

• Free e-library
• Online integrator
• European Mathematical Information Service

Software:

• CDDlib
• LattE - Computations with Polyhedra
• MetiTarski Theorem Prover

https://www.fondation-blaise-pascal.org https://project.inria.fr/mastic/