systèmes finis

Voir le(s) DEA suivant(s) :

• Sémantique preuves et programmation

Voir aussi :

• théorie des corps finis et pseudo
• calculs avec éléments finis : fondations
• finis
• méthodes d'éléments finis
• modélisation par éléments finis
• éléments finis