Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours présente le Mathgraph Theorem Prover, en mettant l'accent sur sa représentation des propositions, l'organisation graphique, et l'architecture solveur pour la logique de premier ordre. La présentation comprend des démonstrations des capacités du solveur et discute des avantages et des inconvénients de l'encodage choisi.