Algorithmique des reseaux et des systemes diophantiens lineaires

par Catherine Moulinet-Ossola

Thèse de doctorat en Sciences et techniques communes

Sous la direction de A. GALLIGO.

Soutenue en 1995

à Nice .

    mots clés mots clés


  • Résumé

    Nous presenterons dans ce memoire une application des calculs de bases de grobner a la resolution des systemes diophantiens lineaires, ainsi qu'a la recherche de vecteurs de normes minimales dans des reseaux arithmetiques entiers. L'algorithme de calcul de bases de grobner que nous avons etudie s'applique a des ideaux binomiaux et nous montrerons les ameliorations que nous avons pu apporter, notamment sur la strategie de selection des paires critiques utiles. Nous detaillerons les algorithmes de resolution que nous avons alors implantes afin de les confronter a d'autres programmes. Ainsi, nous presenterons des comparaisons experimentales de nos programmes de resolution de systemes diophantiens avec les programmes de domenjoud et egalement contejean et devie. Nous presenterons l'algorithme lll de reduction de reseau arithmetique, ainsi que l'algorithme de r. Kannan effectuant la recherche d'un vecteur de norme euclidienne minimale dans un reseau. Nous presenterons alors certains resultats experimentaux afin de confronter les implantations que nous avons realisees de ces algorithmes et de ceux reposant sur les calculs de bases de grobner afin de mieux cerner les defauts de chacun en fonction de certaines caracteristiques des reseaux etudies. Nous presenterons enfin une etude realisee sur un type de reseaux particuliers, appeles les reseaux de craig. Ce sont des reseaux dependant de deux parametres entiers et nous montrerons comment la recherche, par l'utilisation de nos programmes, d'un vecteur de norme euclidienne minimale nous a permis d'exhiber certains resultats mathematiques. Nous montrerons que lorsque le premier entier est fixe, la norme euclidienne minimale peut s'ecrire en fonction du second entier. Nous expliciterons enfin la methodologie que nous avons mise en uvre afin de prouver ces resultats, et fournirons les conjectures et resultats auquels nous avons ainsi abouti

  • Titre traduit

    Algorithmic of integer lattices and linear diophantine systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 166 P.
  • Annexes : 32 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-MOU
  • Bibliothèque : Université de Lille. Service commun de la documentation. Lilliad Learning Center Innovation.
  • PEB soumis à condition
  • Cote : 51976-1995-3
  • Bibliothèque : Université Côte d’Azur. Service commun de la documentation. Bibliothèque Sciences.
  • Accessible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1995-MOU
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.