Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Besançon (4)
  • Paris 1 (2)
  • La Rochelle (1)
  • Lille 1 (1)
  • Lyon (1)
  • Lyon 3 (1)
  • Nice (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 9 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Mathématiques et applications (4)
  • Philosophie (3)
  • Informatique (2)
  • Mathématiques (1)
  • Mathématiques appliquées (1)
  • Sciences appliquées (1)
  • Épistémologie et histoire des sciences (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Sciences et Ingénierie pour l'Information (1)
  • École doctorale Louis Pasteur (Besançon ; ....-2012) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (10)
  • anglais (2)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Lombardi Henri (4)
  • Andres Éric (1)
  • Armetta Frédéric (1)
  • Billot Romain (1)
  • Desanti Jean-Toussaint (1)
  • Djebbar Ahmed (1)
  • Dubucs Jacques (1)
  • Faouzi Nour-Eddin el-Faouzi (1)
  • Gergondey Robert (1)
  • Hassas Salima (1)
  • Mahboubi Assia (1)
  • Parrochia Daniel (1)
  • Roy Bernard (1)
  • Schuster Peter (1)
  • Simpson Carlos (1)
  • Wallet Guy (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Mathématiques (6)
  • Philosophie, psychologie (3)
  • Sciences de l'ingénieur (2)
  • Informatique (1)
  • Epistémologie, causalité, genre humain (1)

Domaines :

Fullscreen

Langage et signification : le cas des mathématiques constructives

par Jean Fichot sous la direction de Jacques Dubucs - Paris 1

Philosophie

Soutenue en 2002
thèse soutenue

Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind

par Maïmouna Salou Idi Malam sous la direction de Henri Lombardi - Besançon

Mathématiques et applications

Soutenue en 2002
thèse soutenue

Algebraic certificates for Budan's theorem

par Daniel Bembé sous la direction de Henri Lombardi et de Peter Schuster. - Besançon

Mathématiques et applications

Soutenue le 02-08-2011
thèse soutenue
Accéder en ligne

Formalisation des nombres algébriques : construction et théorie du premier ordre

par Cyril Cohen sous la direction de Assia Mahboubi - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2012
thèse soutenue
Accéder en ligne

Aspects constructifs de la théorie des corps valués (précédée d'un chapitre sur la noethérianité constructive)

par Hervé Perdry sous la direction de Henri Lombardi - Besançon

Mathématiques et applications

Soutenue en 2001
thèse soutenue

Réalisme, néologicisme et constructivisme arithmétique

par Rodolfo A Malverde Escobar sous la direction de Jean-Toussaint Desanti - Paris 1

Philosophie

Soutenue en 1995
thèse soutenue

Formalismes non classiques pour le traitement informatique de la topologie et de la géométrie discrète

par Agathe Chollet sous la direction de Guy Wallet et de Éric Andres. - La Rochelle

Mathématiques et applications

Soutenue le 07-12-2010
thèse soutenue
Accéder en ligne

Systèmes multi-agents, auto-organisation et contrôle par apprentissage constructiviste pour la modélisation et la régulation dans les systèmes coopératifs de trafic

par Maxime Guériau sous la direction de Salima Hassas, Romain Billot, Frédéric Armetta et de Nour-Eddin el-Faouzi Faouzi. - Lyon

Informatique

Soutenue le 12-12-2016
thèse soutenue

Etude historique et critique de méthodes de démonstration en arithmétique

par Robert Vidal sous la direction de Daniel Parrochia - Lyon 3

Philosophie

Soutenue en 2005
thèse soutenue
Accéder en ligne

Conception organisationnelle d'un processus d'aide à la décision de changement : Aide multicritère à la décision d'un objectif dans une organisation en mutation, dans une perspective constructiviste

par Frédéric Letellier sous la direction de Bernard Roy - Paris 9

Mathématiques appliquées

Soutenue en 1996
thèse soutenue
Accéder en ligne

Résultats 1 à 10