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)]

Edição de 14h17min de 22 de abril de 2009

Alguns links sobre provadores de teoremas

Ferramentas pessoais