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
MPC: Bibliothèque pour l’arithmétique de nombres complexes de précision arbitraire et avec un arrondi correct du résultat
GNU
MPC is
a C library for the arithmetic of complex numbers with arbitrarily
high precision and correct rounding of the result.
It extends the principles of the IEEE-754 standard for fixed precision
real floating point numbers to complex numbers, providing well-defined
semantics for every operation. At the same time, speed of operation at
high precision is a major design goal.
- License: LGPLv3+
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
MPFRCX is
a library for the arithmetic of univariate polynomials over arbitrary
precision real
(GNU MPFR) or
complex
(GNU MPC)
numbers, without control on the rounding.
The functions implemented are not very numerous and somewhat idiosyncratic:
the main motivation behind the library is to have functionality available
for the floating-point approach to complex multiplication.
However, asymptotically fast routines such as ToomâCook and the FFT for
multiplication of polynomials are available, as well as fast routines for
interpolation and evaluation based on trees of polynomials.
Version actuelle : 0.6.3 - September 2021 - License: LGPLv3+
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
sumation 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.3 - 2023-03-14 - 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