Yves Bertrand
IdRefMots clés
FR |
EN
Conception assistée par ordinateur -- Logiciels
Topologie combinatoire
Modèles mathématiques
Modélisation géométrique
Modélisation à base topologique
Structures topologiques combinatoires
Méthodes formelles
Théorie des catégories
Transformations de graphes
Génie logiciel
Prototypage rapide
Méthodes formelles (informatique)
Géométrie
Topologie
Transformation de graphes
Modélisation tridimensionnelle
Infographie
Géométrie -- Informatique
Architecture
Espaces topologiques