AVIsogenies: Paquet MAGMA pour travailler avec des variétés abéliennes
Magma package
for working with abelian varieties, with a particular emphasis
on explicit isogeny computation
Mots clés : Computer algebra, Algorithmic algebraic geometry, Abelian varieties, Isogenies, Endomorphisms rings
Version actuelle : 0.7 - 2021-03-13 - License: LGPLv2+
Arb: Bibliothèque pour une arithmétique rigoureuse sur les réels et les complexes en précision arbitraire
CM: Construction de corps de classes d'ordres quadratiques et de courbes
elliptiques à multiplication complexe via des approximations flottantes
The
CM
software implements the construction of ring class fields of
imaginary quadratic number fields and of elliptic curves with complex
multiplication via floating point approximations. It consists of libraries
that can be called from within a C program and of executable command
line applications.
For the implemented algorithms, see
A. Enge,
The
complexity of class polynomial
computation via floating point approximations,
Mathematics of Computation 78 (266), 2009, pp. 1089–1107.
Version actuelle : 0.3.1 - September 2020 - License: GPLv3+
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 - August 2020 - 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 widely used computer algebra system designed for fast
computations in number theory (factorizations, algebraic number theory,
elliptic curves, modular forms, L functions...), but also contains a
large number of other useful
functions to compute with mathematical entities such as matrices,
polynomials, power series, algebraic numbers etc., and a lot of
transcendental functions. 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.13.1 - 2021-01-17 - 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
openCARP: Simulateur d'électrophysiologie cardiaque pour les expériences in-silico