Prefer a chat interface with context about you and your work?
Contributions au développement des méthodes formelles de preuves et applications à la géométrie
L’utilisation des assistants de preuve comme Coq prend de plus en plus d’ampleur. De tels outils permettent de demontrer formellement aussi bien des resultats mathematiques que des proprietes de correction d’algorithmes et de programmes informatiques. La geometrie est un domaine d’application riche et bien adapte pour mettre a l’epreuve ces …