 | Geoproof.Geoproof 프로젝트는 증거 관련 기능이있는 동적 형상 응용 프로그램입니다. |
| 지금 다운로드 | |
Geoproof. 순위 및 요약
광고
Geoproof. 태그
Geoproof. 설명
Geoproof 프로젝트는 증거 관련 기능이있는 동적 형상 응용 프로그램입니다. GeoProof 프로젝트는 증명 관련 기능이있는 동적 기하학적 응용 프로그램입니다 .It는 SCQ 증거 조수와 통신 할 수 있습니다. 이론의 자동 및 대화 형 증거를 수행 할 수 있습니다. 프로젝트는 기하학을위한 대화 형 증거 소프트웨어를 생산하는 것으로 구성됩니다 .GeoProof는 CoQ 증거 조수와 통신 할 수 있습니다. 지오메트리 정리의 자동 및 대화 형 증거를 수행하십시오. Geoproof는 Nicolas Fraanois가 시작한 DRGEOCAML이라는 프로젝트에서 Julien Narboux가 주로 개발되었습니다. 다음은 "GeoProOf"의 몇 가지 주요 기능이 있습니다. · 계산은 Jean-Christophe Fillitre의 Creeal Library 덕분에 임의의 정밀도를 사용하여 수행됩니다. · John Harrison이 구현 한 자동화 된 정리 증명 방법을 사용하여 일부 정리를 확인할 수 있습니다. · GeoProOf는 Coqide (CoQ 용 사용자 인터페이스)와 통신 할 수 있습니다. 사용자는 GeoProOf를 사용하여 구성을 구축 할 수 있으며 해당 수식은 자동으로 CoQ의 구문으로 변환됩니다.
Geoproof. 관련 소프트웨어
