Provador de teoremas
De Wiki DAINF
Edição feita às 13h19min de 22 de abril de 2009 por
Adolfo
(
disc
|
contribs
)
(
dif
)
← Versão anterior
|
ver versão atual
(
dif
) |
Versão posterior →
(
dif
)
Ir para:
navegação
,
pesquisa
Alguns links sobre provadores de teoremas
"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
Correções técnicas à notícia acima
"Robbins Algebras Are Boolean", página de William McCune sobre o resultado acima
Páginas de Provadores de Teoremas
EQP - Equational Prover
[
Visualizações
Página
Discussão
Ver código-fonte
Histórico
Ferramentas pessoais
Autenticar-se
Wiki pública do DAINF
Página principal
Organização
Professores
Pesquisas e Projetos
Cursos
Disciplinas
Eventos atuais
Publicações
Infraestrutura
Contatos
Navegação
Portal comunitário
Mudanças recentes
Página aleatória
Ajuda
sitesupport
Pesquisar
Ferramentas
Páginas afluentes
Alterações relacionadas
Páginas especiais
Link permanente