Séance de cours
Théorème des mathématiques Prover
Description
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.