Je propose d'exposer de manière simple (enfin je l'espère) les fondements de la théorie de la démonstration automatique, puis de voir sur quelques exemples les difficultés éventuelles.
Si le temps le permet, je propose d'exposer une technique qui permet de découvrir des propriétés géométriques d'une figure (dans des cas extrêmement simples).
Et si le temps est vraiment gentil avec nous, je vous propose de regarder plusieurs problèmes géométriques provenant de divers domaines avec différentes préoccupations.
Back to schedule.