Geoproof para Linux.

O projeto consiste na produção de um software de prova interativo para a geometria.
Baixe Agora

Geoproof para Linux. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • Julien Narboux
  • Site do editor:
  • Sistemas operacionais:
  • Linux
  • Tamanho do arquivo:
  • 25.19MB

Geoproof para Linux. Tag


Geoproof para Linux. Descrição

Este programa é um software de geometria interativo com características relacionadas à prova. O projeto consiste na produção de um software de prova interativo para a geometria. O GeoProof pode se comunicar com o assistente de prova de COQ para realizar provas automáticas e interativas de teoremas de geometria. Geoproof para Linux é desenvolvido principalmente por Julien Narboux de um projeto chamado Drgeocaml iniciado por Nicolas François. Recursos Lista detalhada de recursos: -Five tipos de objetos geométricos: pontos, linhas, círculos, vetores e segmentos -Tree Transformações: Simetria central, tradução e simetria axial - nove maneiras de construir um ponto -five formas de construir uma linha -three maneiras de construir um círculo rótulos com peças dinâmicas que podem ser as seguintes Teorema -Automado provando usar


Geoproof para Linux. Software Relacionado

Sobre nós