Provador de teoremas
De Wiki DAINF
(Diferença entre revisões)
(→Alguns links sobre provadores de teoremas) |
(→Alguns links sobre provadores de teoremas) |
||
| Linha 2: | Linha 2: | ||
* [http://www.nytimes.com/library/cyber/week/1210math.html "Computer Math Proof Shows Reasoning Power", notícia do New York Times de 10/12/1996 comentando um importante resultado matemático obtido por um provador de teoremas] | * [http://www.nytimes.com/library/cyber/week/1210math.html "Computer Math Proof Shows Reasoning Power", notícia do New York Times de 10/12/1996 comentando um importante resultado matemático obtido por um provador de teoremas] | ||
| − | ** [http://www.cs.unm.edu/~mccune/papers/robbins/nyt-corrections.html Correções técnicas à notícia acima | + | ** [http://www.cs.unm.edu/~mccune/papers/robbins/nyt-corrections.html Correções técnicas à notícia acima] |
| + | ** [http://www.cs.unm.edu/~mccune/papers/robbins/ "Robbins Algebras Are Boolean", página de William McCune sobre o resultado acima] | ||
| + | |||
| + | === Páginas de Provadores de Teoremas === | ||
| + | |||
| + | * [http://www.cs.unm.edu/~mccune/eqp/ EQP - Equational Prover] | ||
| + | * [ | ||
