Geoprofe es una aplicación de geometría dinámica con características relacionadas con la prueba.
Descargar ahora

Geoprofe Clasificación y resumen

Geoprofe Etiquetas

dinámica Geometría geometría dinámica Aplicación de geometría pruebas de teoremas Geoprofe

Geoprofe Descripción

El proyecto GEOPROOF es una aplicación de geometría dinámica con características relacionadas con la prueba. El proyecto GEOPROOF es una aplicación de geometría dinámica con características relacionadas con la prueba. Puede comunicarse con el Asistente de prueba de la COQ para realizar pruebas de teoremas automáticos e interactivos. El proyecto consiste en producir un software de prueba interactivo para Geometry.Geoproof puede comunicarse con el Asistente de prueba CoQ a Realice pruebas automáticas e interactivas de teoremas de geometría. Geoproof es desarrollado principalmente por Julien Narboux de un proyecto llamado Drgeocaml iniciado por Nicolas Franois. Aquí hay algunas características clave de "Geoproof": · Los cálculos se realizan utilizando la precisión arbitraria gracias a la Biblioteca CREEAL por Jean-Christophe Fillitre. · Algunos teoremas se pueden verificar utilizando los métodos de prueba del teorema automatizado implementados por John Harrison. · Geoproof puede comunicarse con coqide (una interfaz de usuario para la CoQ). El usuario puede construir una construcción utilizando Geoproof y la fórmula correspondiente se traduce automáticamente a la sintaxis de CoQ.

Geoprofe Software relacionado