Provador de teoremas
De Wiki DAINF
(Diferença entre revisões)
(Nova página: == Alguns links sobre provadores de teoremas == * [http://www.nytimes.com/library/cyber/week/1210math.html "Computer Math Proof Shows Reasoning Power", notícia do New York Times de 1...) |
(→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)] |