Solutions minimales des systemes diophantiens lineaires : bornes et algorithmes

Loïc Pottier 1
1 SAFIR - Algebraic Formal Systems for Industry and Research
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : On donne de nouvelles bornes et de nouveaux algorithmes concernant les solutions minimales de systèmes diophantiens linéaires. Nos bornes sont simplement exponentielles en la dimension du système, alors que les bornes connues jusqu'il y a peu étaient doublement exponentielles.
Type de document :
Rapport
[Rapport de recherche] RR-1292, INRIA. 1990, pp.10
Liste complète des métadonnées

https://hal.inria.fr/inria-00075267
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:50:47
Dernière modification le : jeudi 11 janvier 2018 - 16:45:01
Document(s) archivé(s) le : mardi 12 avril 2011 - 22:11:55

Fichiers

Identifiants

  • HAL Id : inria-00075267, version 1

Collections

Citation

Loïc Pottier. Solutions minimales des systemes diophantiens lineaires : bornes et algorithmes. [Rapport de recherche] RR-1292, INRIA. 1990, pp.10. 〈inria-00075267〉

Partager

Métriques

Consultations de la notice

78

Téléchargements de fichiers

59