Hilbert II.

Verifique as axiomas de matemática e crie seu próprio banco de dados de conhecimento
Baixe Agora

Hilbert II. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • GPL
  • Nome do editor:
  • Michael Meyling
  • Sistemas operacionais:
  • June 2nd, 2013, 02:14 UTC
  • Tamanho do arquivo:
  • 7.9 MB

Hilbert II. Tag


Hilbert II. Descrição

O Hilbert II fornece uma aplicação intuitiva que permite verificar os teoremas matemáticos e axiomas para precisão e incluí-los em uma base de conhecimento. A Hilbert II integra um conjunto de modelos, portanto, o aplicativo pode facilmente confrontar as duas fórmulas e verificar se o arquivo de entrada é válido. Os módulos QEDEQ carregados podem ser convertidos no formato de texto LATEX e UTF-8.


Hilbert II. Software Relacionado

Sobre nós