Le moteur de recherche
des thèses françaises
Gérard Jacob
IdRefMots clés
FR
Calcul formel
Systèmes dynamiques
Algèbres de Lie
Algèbres non commutatives
Séries (mathématiques)
Théorie de la commande
Lambda-calcul
Langages de programmation
LISP (langage de programmation)
ML (langage de programmation)
Caml Light (langage de programmation)
AUTOMATH (langage formel)
Fonctions calculables -- Informatique
Algèbre différentielle
Mots de Lyndon
Base de Groebner
Équations aux dérivées partielles
Systèmes non linéaires
Théorie de l'approximation
Algèbre bilinéaire