Knowledge Tree

researcher / Pascal Schreck

Pascal Schreck

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Automatisation des constructions géométriques à la règle et au compas

Directed Thesis:

Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective

On the formalization of foundations of geometry

Résolution de contraintes géométriques en guidant une méthode homotopique par la géométrie

Décomposition et paramétrisation de systèmes de contraintes géométriques sous-contraint

Planification assistée par ordinateur pour la thermoablation de tumeur

Contraintes géométriques en dimension 3