IRMA - Documents

m

D
A

Identifiant

Mot de passe

Mot de passe oublié

Historique des recherches

Bibliothèques de mathématique et de l'IREM

IremOuvrage

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

algorithme ; robustesse ; algorithme stochastique ; calculabilité ; indécidabilité ; efficacité

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

irrationnalité ; indécidabilité ; démonstration ; Hilbert ; logique ; nombre entier ; cryptologie ; fonction modulaire ; ensemble ; topologie ; forme différentielle ; nombre p-adique ; représentation galoisienne ; arithmétique ; géométrie ; équation diophantienne ; courbe algébrique

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

logique ; informatique ; paradoxe ; Turing ; indécidabilité ; Gödel ; cryptographie quantique ; chainage ; complexité ; thermodynamique ; inférence ; algorithme génétique ; automate ; hyperensemble ; réalisme ; physique

MathOuvrage

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

cryptographie ; théorie combinatoire des groupes ; complexité ; problème du mot ; indécidabilité

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

Exposés présentés à l'Ecole doctorale de mathématiques et informatique de Bordeaux, 1993-2001

théorie de la démonstration ; cryptographie ; fonction modulaire ; intégrale singulière ; théorie du signal ; cohomologie ; p-adique ; géométrie diophantienne ; courbe algébrique ; groupe fondamental ; marche aléatoire ; indécidabilité ; nombre normal

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

indécidabilité

Z