Givaro

Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 02/12/08
  • Correction mineure : 17/12/09

Givaro : C++ library for computer algebra: exact arithmetic and data structures

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.
  • Site web
  • Système : UNIX-like, Windows, MacOS X
  • Version actuelle : 3.2.11 - 23 juin 2008
  • Licence(s) : LGPL
  • Etat : diffusé, stable
  • Support : maintenu, développement en cours
  • Concepteur(s) : Thierry Gautier, Gilles Villard, Jean-Louis Roch, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet
  • Contact concepteur(s) : Jean-Guillaume.Dumas@imag.fr
  • Laboratoire(s), service(s)... : LIG, LIP, LIRMM, LJK

 

Fonctionnalités générales du logiciel

Une version objet des entiers GMP en précision arbitraire, permettant
de donner une interface de type "int" à ces entiers, de l'algorithmique de la théorie des nombres, des rationnels en précision arbitraire, de nombreuses variantes d'implémentations des corps finis (corps premiers ou extensions) de taille le mot machine, la reconstruction entière et rationnelle d'entiers modulaires par les restes chinois, une structure de polynômes univariés paramétrée par le domaine des coefficients (donc une structure multivariée récursive), des structures de données vectorielles et matricielles gérées par compteurs de références.

Contexte d’utilisation du logiciel
  • Givaro est utilisé par l'environnement SAGE pour ses corps finis
  • Givaro est utilisé par la bibliothèque LinBox pour ses corps finis
  • Givaro est utilisé comme outil de recherche par les laboratoires LJK, LIG, IF à Grenoble, le LIP à Lyon, le LIRMM à Montpellier.
  • Givaro est disponible en paquet Debian/Ubuntu : libgivaro-dev
Publications liées au logiciel
  • Q-adic Transform revisited. Jean-Guillaume Dumas.
    ISSAC'2008 : International Symposium on Symbolic and Algebraic Computations, Hagenberg, Autriche, 20-23 Juillet 2008.
  • Efficient dot product over finite fields. Jean-Guillaume Dumas. CASC'2004 : Computer Algebra in Scientific Computing, pp139-154, 12-19 Juillet 2004, Saint Petersburg, Russia.
  • FFLAS: Finite field linear algebra subroutines . Jean-Guillaume Dumas, Thierry Gautier et Clément Pernet.
    ISSAC'2002 : International Symposium on Symbolic and Algebraic Computations, pp63-74, 7-10 Juillet 2002, Lille, France.
  • Calcul formel et parallélisme : conception du système GIVARO et applications au calcul dans les extensions algébriques. Thierry Gautier. 1996.

Commentaires

nouveau mot-clé activité métier "calcul scientifique"

ajout du mot-clé
Geneviève Romier