calcul formel

Voir le(s) DEA suivant(s) :

• Cryptographie codage, calcul
• Mathématiques
• Algorithmique
• Combinatoire, Parallélisme et Modélisation Aléatoire
• Informatique
• Informatique
• Informatique
• Mathématiques appliquées

Voir aussi :

• calcul scientifique
• calcul scientifique en mécanique non linaire
• calcul des structures
• conception et calcul des structures en non linéaire et dynamique
• calcul des prédicats
• modélisation et calcul
• calcul parallèle
• algorithmes numériques et calcul à hautes performances
• calculs avec éléments finis : fondations
• modélisation et calcul scientifique
• calcul de structures
• langages formels
• calcul stochastique
• calcul ab initio
• calcul scientifique et problèmes inverses
• calcul propositionnel
• calcul
• calcul scientifique industriel