Démonstration automatique de théorèmes
Démonstration automatique de théorèmes : encyclopédie mathématiques
Cet article est issu de l'encyclopédie libre Wikipedia.Vous pouvez consulter l'article ici ainsi que son historique.
Les textes et les images sont disponibles sous les termes de la Licence de documentation libre GNU.
   |
Cet article est une ébauche concernant les mathématiques, la logique et l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
La démonstration automatique de théorèmes est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet sans l'aide de l'utilisateur.
Cet article est issu de l'encyclopédie libre Wikipedia.Vous pouvez consulter l'article ici ainsi que son historique.
Les textes et les images sont disponibles sous les termes de la Licence de documentation libre GNU.
Fiches de maths
Forum de maths
Encyclopédie
Annuaire
Outils
Jeux
Ce site
Nouveau
Livre d'or
Newsletter
île des maths
île de la physique
