m

F Nous contacter

0

Documents  03C10 | enregistrements trouvés : 11

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xx; 466 p.
ISBN 978-88-7999-411-8

Quaderni di matematica , 0011

Localisation : Colloque 1er étage (RAVE)

théorie des modèles # logique # théorie des nombres # théorie des groupes # théorie des corps

20E08 ; 05C25 ; 03C64 ; 03C60 ; 03C10 ; 20F60 ; 20E32 ; 20D05 ; 03C45 ; 20A15 ; 03C07 ; 03C98 ; 32B05 ; 12F10 ; 03C20 ; 11G25 ; 11G10 ; 11U09 ; 14G15 ; 20G15 ; 22E30 ; 12H05 ; 12L12 ; 30D60 ; 58A17 ; 20E42 ; 14K15 ; 03-06 ; 00B25 ; 11-06 ; 12-06 ; 20-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Algebraic and Complex Geometry;Logic and Foundations

The concept of a "transseries" is a natural extension of that of a Laurent series, allowing for exponential and logarithmic terms. Transseries were introduced in the 1980s by the analyst Écalle and also, independently, by the logicians Dahn and Göring. The germs of many naturally occurring real-valued functions of one variable have asymptotic expansions which are transseries. Since the late 1990s, van den Dries, van der Hoeven, and myself, have pursued a program to understand the algebraic and model-theoretic aspects of this intricate but fascinating mathematical object. A differential analogue of “henselianity" is central to this program. Last year we were able to make a significant step forward, and established a quantifier elimination theorem for the differential field of transseries in a natural language. My goal for this talk is to introduce transseries without prior knowledge of the subject, and to explain our recent work. The concept of a "transseries" is a natural extension of that of a Laurent series, allowing for exponential and logarithmic terms. Transseries were introduced in the 1980s by the analyst Écalle and also, independently, by the logicians Dahn and Göring. The germs of many naturally occurring real-valued functions of one variable have asymptotic expansions which are transseries. Since the late 1990s, van den Dries, van der Hoeven, and myself, have ...

03C10 ; 03C64 ; 26A12

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- vii; 195 p.
ISBN 978-3-642-54935-9

Lecture notes in mathematics , 2111

Localisation : Collection 1er étage

analyse globale # théorie des modèles # théorie des nombres

03Cxx ; 03C45 ; 03C10 ; 03C60 ; 03C64 ; 12J20 ; 11U05 ; 11U09 ; 03-06 ; 03C62 ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 780 P.
ISBN 978-3-540-22811-0

Ergebnisse der mathematik und ihrer grenzgebiete , 0011

Localisation : Ouvrage RdC (FRIE)

corps algébrique # arithmétique des corps # théorie inverse de Galois # corps d'Hilbert # logique # point rationnel # théorie de la décidabilité # complétude # modèle non-standard

12E30 ; 03B25 ; 03C10 ; 03C60 ; 03H05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 171 p.
ISBN

Astérisque , 0264

Localisation : Périodique 1er étage

32P05 ; 32B05 ; 32B20 ; 32C35 ; 26E30 ; 12J25 ; 03C10 ; 13J05 ; 13B40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 75 p.

Physique - mathématique , 0007

Localisation : Réserve

élimination # méthode de Cauchy # théorème de Bezout # théorème de Jacobi # méthode d'élimination de Labatie # résolution de systèmes

15-XX ; 03F05 ; 03C10 ; 03C60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 602 p.
ISBN 978-3-540-00973-3

Algorithms and computation in mathematics , 0010

Localisation : Ouvrage RdC (BASU)

géométrie algébrique # ensemble semi-algébrique # algorithme # topologie # complexité # index de Cauchy # système polynomiale # élimination des quantificateurs # analyse d'algorithme # calcul formel

14P10 ; 14-02 ; 68W30 ; 13P10 ; 03C10 ; 68Q25 ; 52C45

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 219 p.
ISBN 978-2-908016-58-1

Nul al-Mantiq wal-Ma'rifah , 0003

Localisation : Ouvrage RdC (POIZ)

algorithme # calcul en temps polynomial # circuit arithmétique # circuit boléen # classe de complexité exponentielle # complexité d'algorithme # fonction boléenne # hiérarchie polynomiale # liens entre classes uniformes ou non uniformes # problème boléen # relation # structure fonctionnelle # temps séquentiel et temps parallèle # écriture linéaire des termes # élimination des quanteurs

03C10 ; 03D15 ; 68Q15 ; 94C10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8218-2204-3

Memoirs of the american mathematical society , 0204

Localisation : Collection 1er étage

03C99 ; 03C60 ; 03C10 ; 03B25 ; 12L05 ; 11E95 ; 14G20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 158 p.
ISBN 978-3-540-04099-6

Ergebnisse der mathematik und ihrer grenzgebiete , 0043

Localisation : Ouvrage RdC (SMUL)

compacité # complétude # définabilité de Beth # ensemble magique # interpolation de Craig # logique du premier ordre # logique proportionnelle # propriété de consistance synthétique # système d'axiomes pour théorie de quantification # système de Gentzen # système de raisonnement linéaire # tableaux Prenex # tableaux analytiques # élimination

03-02 ; 03B05 ; 03B10 ; 03C10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 216 p.

Grundlehren der mathematischen wissenschaften in einzeldarstellungen , 0034

Localisation : Collection 1er étage

algèbre linéaire # algèbre moderne # forme quadratique ou hermitienne # grandeur algébrique entière # grandeur hypercomplexe # théorie de l'élimination # théorie de la représentation de groupe ou de système hyperco # théorie des idéaux de polynômes # théorie générale des idéaux d'anneaux commutatifs

03C10 ; 13Cxx ; 15A63 ; 20Cxx ; 30G35

... Lire [+]

Z