Arb: Bibliothèque pour une arithmétique rigoureuse sur les réels et les complexes en précision arbitraire
Calcium: C library for exact computation with real and complex numbers
Cm: Construction de corps de classes d'ordres quadratiques et de courbes
elliptiques à multiplication complexe via des approximations flottantes
Cmh: Calcul de thêta-constantes à précision arbitraire et calcul de polynômes de classes
Gnu Mpc: Bibliothèque pour l’arithmétique de nombres complexes de précision arbitraire et avec un arrondi correct du résultat
Mpfrcx: Bibliothèque pour l'arithmétique des polynômes univariés réels (MPFR) ou complexes (MPC) en précision arbitraire, sans contrôle de l'arrondi
PARI/GP: Système de calcul formel très répandu, conçu pour des calculs rapides en arithmétique (factorisations, théorie algébrique des nombres, courbes elliptiques, formes modulaires...)
PARI/GP is a cross platform and open-source computer algebra
system designed for fast computations in number theory: factorizations,
algebraic number theory, elliptic curves, modular forms, L functions...
It also contains a wealth of functions to compute with
mathematical entities such as matrices, polynomials, power series, algebraic
numbers, etc., and a lot of transcendental functions as well as numerical
summation and integration routines. PARI is also available as a C library to
allow for faster computations.
Mots clés : Calcul formel, théorie algébriques des nombres, courbes elliptiques, fonctions transcendantes
Version actuelle : 2.15.5 - 2024-02-11 - License: GPLv2+
NSPMG: Modélisation d'écoulements 2D et 3D autour d'obstacles poreux ou solides. Simulation Numérique Directe (DNS) des équations de Navier-Stokes par une méthode de pénalisation et un solveur multigrille
Neos: framework C++ de prototypage rapide pour la simulation numérique
openCARP: Simulateur d'électrophysiologie cardiaque pour les expériences in-silico