Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Un nouveau critère pour l'équation de Catalan

Identifieur interne : 006783 ( Hal/Corpus ); précédent : 006782; suivant : 006784

Un nouveau critère pour l'équation de Catalan

Auteurs : Yann Bugeaud ; Guillaume Hanrot

Source :

RBID : Hal:inria-00099119

Descripteurs français

Abstract

Nous présentons dans ce travail une méthode, issue de travaux de Bilu et de Bilu et Hanrot, qui permet, sous certaines conditions, de borner de façon bien plus précise que par la méthode de Baker les solutions d'équations diophantiennes superelliptiques. Cette méthode s'applique en particulier à l'équation de Catalan $|x^p -y^q| = 1$, où $q > p$ sont deux premiers, et nous permet de prouver que cette dernière n'a pas de solution non triviale quand $q$ ne divise pas $h^-(\Q(\zeta_p))$. || In this paper we present a method coming from work by Bilu and Bilu and Hanrot which, under certain assumptions, allows one to obtain bounds for the solutions of superelliptic equations that are much sharper than usual bound derived through the use of

Url:

Links to Exploration step

Hal:inria-00099119

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="fr">Un nouveau critère pour l'équation de Catalan</title>
<author>
<name sortKey="Bugeaud, Yann" sort="Bugeaud, Yann" uniqKey="Bugeaud Y" first="Yann" last="Bugeaud">Yann Bugeaud</name>
<affiliation>
<hal:affiliation type="laboratory" xml:id="struct-20" status="VALID">
<orgName>Département de Mathématiques [Evry]</orgName>
<desc>
<address>
<addrLine>Bâtiment I.B.G.B.I., 3ème étage, 23 Bd. de France, 91037 EVRY CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.maths.univ-evry.fr/</ref>
</desc>
<listRelation>
<relation active="#struct-300306" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-300306" type="direct">
<org type="institution" xml:id="struct-300306" status="VALID">
<orgName>Université d'Evry-Val d'Essonne</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
</affiliation>
</author>
<author>
<name sortKey="Hanrot, Guillaume" sort="Hanrot, Guillaume" uniqKey="Hanrot G" first="Guillaume" last="Hanrot">Guillaume Hanrot</name>
<affiliation>
<hal:affiliation type="researchteam" xml:id="struct-2343" status="OLD">
<idno type="RNSR">199822082R</idno>
<orgName>Polynomials, Combinatorics, Arithmetic</orgName>
<orgName type="acronym">POLKA</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/polka</ref>
</desc>
<listRelation>
<relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-160" type="direct">
<org type="laboratory" xml:id="struct-160" status="OLD">
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc>
<address>
<addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect">
<org type="institution" xml:id="struct-441569" status="VALID">
<idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect">
<org type="institution" xml:id="struct-300009" status="VALID">
<orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc>
<address>
<addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect">
<org type="institution" xml:id="struct-300291" status="OLD">
<orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect">
<org type="institution" xml:id="struct-300292" status="OLD">
<orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect">
<org type="institution" xml:id="struct-300293" status="OLD">
<orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct">
<org type="laboratory" xml:id="struct-2496" status="OLD">
<orgName>INRIA Lorraine</orgName>
<desc>
<address>
<addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt>
<idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:inria-00099119</idno>
<idno type="halId">inria-00099119</idno>
<idno type="halUri">https://hal.inria.fr/inria-00099119</idno>
<idno type="url">https://hal.inria.fr/inria-00099119</idno>
<date when="2000">2000</date>
<idno type="wicri:Area/Hal/Corpus">006783</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="fr">Un nouveau critère pour l'équation de Catalan</title>
<author>
<name sortKey="Bugeaud, Yann" sort="Bugeaud, Yann" uniqKey="Bugeaud Y" first="Yann" last="Bugeaud">Yann Bugeaud</name>
<affiliation>
<hal:affiliation type="laboratory" xml:id="struct-20" status="VALID">
<orgName>Département de Mathématiques [Evry]</orgName>
<desc>
<address>
<addrLine>Bâtiment I.B.G.B.I., 3ème étage, 23 Bd. de France, 91037 EVRY CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.maths.univ-evry.fr/</ref>
</desc>
<listRelation>
<relation active="#struct-300306" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-300306" type="direct">
<org type="institution" xml:id="struct-300306" status="VALID">
<orgName>Université d'Evry-Val d'Essonne</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
</affiliation>
</author>
<author>
<name sortKey="Hanrot, Guillaume" sort="Hanrot, Guillaume" uniqKey="Hanrot G" first="Guillaume" last="Hanrot">Guillaume Hanrot</name>
<affiliation>
<hal:affiliation type="researchteam" xml:id="struct-2343" status="OLD">
<idno type="RNSR">199822082R</idno>
<orgName>Polynomials, Combinatorics, Arithmetic</orgName>
<orgName type="acronym">POLKA</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/polka</ref>
</desc>
<listRelation>
<relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-160" type="direct">
<org type="laboratory" xml:id="struct-160" status="OLD">
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc>
<address>
<addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect">
<org type="institution" xml:id="struct-441569" status="VALID">
<idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect">
<org type="institution" xml:id="struct-300009" status="VALID">
<orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc>
<address>
<addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect">
<org type="institution" xml:id="struct-300291" status="OLD">
<orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect">
<org type="institution" xml:id="struct-300292" status="OLD">
<orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect">
<org type="institution" xml:id="struct-300293" status="OLD">
<orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct">
<org type="laboratory" xml:id="struct-2496" status="OLD">
<orgName>INRIA Lorraine</orgName>
<desc>
<address>
<addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="mix" xml:lang="fr">
<term>catalan's equation</term>
<term>diophantine equations</term>
<term>superelliptic equations</term>
<term>équation de catalan</term>
<term>équations diophantiennes</term>
<term>équations superelliptiques</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="fr">Nous présentons dans ce travail une méthode, issue de travaux de Bilu et de Bilu et Hanrot, qui permet, sous certaines conditions, de borner de façon bien plus précise que par la méthode de Baker les solutions d'équations diophantiennes superelliptiques. Cette méthode s'applique en particulier à l'équation de Catalan $|x^p -y^q| = 1$, où $q > p$ sont deux premiers, et nous permet de prouver que cette dernière n'a pas de solution non triviale quand $q$ ne divise pas $h^-(\Q(\zeta_p))$. || In this paper we present a method coming from work by Bilu and Bilu and Hanrot which, under certain assumptions, allows one to obtain bounds for the solutions of superelliptic equations that are much sharper than usual bound derived through the use of</div>
</front>
</TEI>
<hal api="V3">
<titleStmt>
<title xml:lang="fr">Un nouveau critère pour l'équation de Catalan</title>
<author role="aut">
<persName>
<forename type="first">Yann</forename>
<surname>Bugeaud</surname>
</persName>
<email></email>
<idno type="halauthor">130309</idno>
<orgName ref="#struct-364649"></orgName>
<affiliation ref="#struct-20"></affiliation>
</author>
<author role="aut">
<persName>
<forename type="first">Guillaume</forename>
<surname>Hanrot</surname>
</persName>
<email>Guillaume.Hanrot@loria.fr</email>
<idno type="halauthor">129657</idno>
<orgName ref="#struct-300009"></orgName>
<affiliation ref="#struct-2343"></affiliation>
</author>
<editor role="depositor">
<persName>
<forename>Publications</forename>
<surname>Loria</surname>
</persName>
<email>publications@loria.fr</email>
</editor>
</titleStmt>
<editionStmt>
<edition n="v1" type="current">
<date type="whenSubmitted">2006-09-26 08:51:07</date>
<date type="whenModified">2016-05-19 01:09:30</date>
<date type="whenReleased">2006-09-28 15:22:45</date>
<date type="whenProduced">2000</date>
</edition>
<respStmt>
<resp>contributor</resp>
<name key="108626">
<persName>
<forename>Publications</forename>
<surname>Loria</surname>
</persName>
<email>publications@loria.fr</email>
</name>
</respStmt>
</editionStmt>
<publicationStmt>
<distributor>CCSD</distributor>
<idno type="halId">inria-00099119</idno>
<idno type="halUri">https://hal.inria.fr/inria-00099119</idno>
<idno type="halBibtex">bugeaud:inria-00099119</idno>
<idno type="halRefHtml">Mathematika, University College London, 2000, 47, pp.63--73</idno>
<idno type="halRef">Mathematika, University College London, 2000, 47, pp.63--73</idno>
</publicationStmt>
<seriesStmt>
<idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
<idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
<idno type="stamp" n="UNIV-EVRY">Université d'Evry-Val d'Essonne</idno>
<idno type="stamp" n="LORIA2">Publications du LORIA</idno>
<idno type="stamp" n="LORIA">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
<idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
<idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
<idno type="stamp" n="INPL">Institut National Polytechnique de Lorraine</idno>
<idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno>
<idno type="stamp" n="LABO-LORIA-SET" p="LORIA">LABO-LORIA-SET</idno>
</seriesStmt>
<notesStmt>
<note type="commentary">Article dans revue scientifique avec comité de lecture.</note>
<note type="audience" n="1">Not set</note>
<note type="popular" n="0">No</note>
<note type="peer" n="1">Yes</note>
</notesStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="fr">Un nouveau critère pour l'équation de Catalan</title>
<author role="aut">
<persName>
<forename type="first">Yann</forename>
<surname>Bugeaud</surname>
</persName>
<idno type="halAuthorId">130309</idno>
<orgName ref="#struct-364649"></orgName>
<affiliation ref="#struct-20"></affiliation>
</author>
<author role="aut">
<persName>
<forename type="first">Guillaume</forename>
<surname>Hanrot</surname>
</persName>
<email>Guillaume.Hanrot@loria.fr</email>
<idno type="halAuthorId">129657</idno>
<orgName ref="#struct-300009"></orgName>
<affiliation ref="#struct-2343"></affiliation>
</author>
</analytic>
<monogr>
<idno type="localRef">A00-R-368 || bugeaud00a</idno>
<idno type="halJournalId" status="INCOMING">30825</idno>
<title level="j">Mathematika</title>
<imprint>
<publisher>University College London</publisher>
<biblScope unit="volume">47</biblScope>
<biblScope unit="pp">63--73</biblScope>
<date type="datePub">2000</date>
</imprint>
</monogr>
</biblStruct>
</sourceDesc>
<profileDesc>
<langUsage>
<language ident="fr">French</language>
</langUsage>
<textClass>
<keywords scheme="author">
<term xml:lang="fr">équations diophantiennes</term>
<term xml:lang="fr">catalan's equation</term>
<term xml:lang="fr">diophantine equations</term>
<term xml:lang="fr">superelliptic equations</term>
<term xml:lang="fr">équations superelliptiques</term>
<term xml:lang="fr">équation de catalan</term>
</keywords>
<classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode>
<classCode scheme="halTypology" n="ART">Journal articles</classCode>
</textClass>
<abstract xml:lang="fr">Nous présentons dans ce travail une méthode, issue de travaux de Bilu et de Bilu et Hanrot, qui permet, sous certaines conditions, de borner de façon bien plus précise que par la méthode de Baker les solutions d'équations diophantiennes superelliptiques. Cette méthode s'applique en particulier à l'équation de Catalan $|x^p -y^q| = 1$, où $q > p$ sont deux premiers, et nous permet de prouver que cette dernière n'a pas de solution non triviale quand $q$ ne divise pas $h^-(\Q(\zeta_p))$. || In this paper we present a method coming from work by Bilu and Bilu and Hanrot which, under certain assumptions, allows one to obtain bounds for the solutions of superelliptic equations that are much sharper than usual bound derived through the use of</abstract>
</profileDesc>
</hal>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 006783 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd -nk 006783 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    RBID
   |clé=     Hal:inria-00099119
   |texte=   Un nouveau critère pour l'équation de Catalan
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022