DÉMONSTRATION AUTOMATIQUE

Ce sujet est traité dans les articles suivants :

1.  INFORMATIQUE ET VÉRITÉ MATHÉMATIQUE

Écrit par : Jean-Paul DELAHAYE

Dans le chapitre "Preuves mathématiques classiques avec ordinateur"  : … Plusieurs cas sont possibles, que nous allons présenter en insistant sur ce qui les distingue. *Certaines techniques de démonstration automatique produisent des démonstrations qu'aucun humain n'avait découvertes sans aide informatique, mais qui, une fois trouvées par la machine, se révèlent relativement simples et contrôlables par un… Lire la suite