ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 15/2 - 2001  - pp.279-286
TITRE
Compétitions de démonstrateurs de théorèmes

RÉSUMÉ

Extraits :
Dans le cadre de la conférence CADE1 (Conference on Automated Deduction), la compétition CASC2 (CADE Automated theorem proving System Competition) a lieu depuis 1996. Le but de cette compétition est de stimuler le développement des démonstrateurs de théorèmes, d’en faire des démonstrations publiques et de les évaluer. La compétition comprend plusieurs divisions et pour chacune d’elles, le classement tient compte du nombre de problèmes résolus et, en cas d’ex aequo du temps d’exécution. Les problèmes proposés sont tirés au sort le matin de la compétition parmi un sous-ensemble préalablement sélectionné parmi les problèmes de la librairie TPTP3 (Thousands Problems for Theorem Proving).
[...]

AUTEUR(S)
Dominique PASTRE

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (84 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier