InforLorV4, Hal, Corpus, bibRecord, 006782

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

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

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

Auteurs : Yann Bugeaud ; Guillaume Hanrot

Source :

RBID : Hal:inria-00072866

Descripteurs français

mix :
- équation de Catalan, équations diophantiennes, équations superelliptiques.

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)).

Url:

https://hal.inria.fr/inria-00072866

Links to Exploration step

Hal:inria-00072866

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>
</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-00072866</idno>
<idno type="halId">inria-00072866</idno>
<idno type="halUri">https://hal.inria.fr/inria-00072866</idno>
<idno type="url">https://hal.inria.fr/inria-00072866</idno>
<date when="1999">1999</date>
<idno type="wicri:Area/Hal/Corpus">006782</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>
</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>é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)).</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">100454</idno>
</author>
<author role="aut"><persName><forename type="first">Guillaume</forename>
<surname>Hanrot</surname>
</persName>
<email>Guillaume.Hanrot@loria.fr</email>
<idno type="halauthor">73144</idno>
<affiliation ref="#struct-2343"></affiliation>
</author>
<editor role="depositor"><persName><forename>Rapport De Recherche</forename>
<surname>Inria</surname>
</persName>
<email>rrrt-editeurs@inria.fr</email>
</editor>
</titleStmt>
<editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2006-05-24 11:08:10</date>
<date type="whenWritten">1999</date>
<date type="whenModified">2016-05-19 01:09:25</date>
<date type="whenReleased">2006-05-31 14:24:27</date>
<date type="whenProduced">1999</date>
<date type="whenEndEmbargoed">2006-05-24</date>
<ref type="file" target="https://hal.inria.fr/inria-00072866/document"><date notBefore="2006-05-24"></date>
</ref>
<ref type="file" n="1" target="https://hal.inria.fr/inria-00072866/file/RR-3793.pdf"><date notBefore="2006-05-24"></date>
</ref>
</edition>
<respStmt><resp>contributor</resp>
<name key="111068"><persName><forename>Rapport De Recherche</forename>
<surname>Inria</surname>
</persName>
<email>rrrt-editeurs@inria.fr</email>
</name>
</respStmt>
</editionStmt>
<publicationStmt><distributor>CCSD</distributor>
<idno type="halId">inria-00072866</idno>
<idno type="halUri">https://hal.inria.fr/inria-00072866</idno>
<idno type="halBibtex">bugeaud:inria-00072866</idno>
<idno type="halRefHtml">[Rapport de recherche] RR-3793, INRIA. 1999, pp.13</idno>
<idno type="halRef">[Rapport de recherche] RR-3793, INRIA. 1999, pp.13</idno>
</publicationStmt>
<seriesStmt><idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
<idno type="stamp" n="INRIA-RRRT">Rapports de recherche et Technique de l'Inria</idno>
<idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</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="audience" n="0">Not set</note>
<note type="report" n="6">Research Report</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">100454</idno>
</author>
<author role="aut"><persName><forename type="first">Guillaume</forename>
<surname>Hanrot</surname>
</persName>
<email>Guillaume.Hanrot@loria.fr</email>
<idno type="halAuthorId">73144</idno>
<affiliation ref="#struct-2343"></affiliation>
</author>
</analytic>
<monogr><idno type="reportNumber">RR-3793</idno>
<imprint><biblScope unit="pp">13</biblScope>
<date type="datePub">1999</date>
</imprint>
<authority type="institution">INRIA</authority>
</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">é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="REPORT">Reports</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)).</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 006782 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd -nk 006782 | 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-00072866
   |texte=   Un nouveau critère pour l'équation de Catalan
}}

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

	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.

Serveur d'exploration sur la recherche en informatique en Lorraine

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

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

Source :

Descripteurs français

Abstract

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

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