Linux 용 Geoproof

프로젝트는 기하학을위한 대화 형 증거 소프트웨어를 생성하는 것으로 구성됩니다.
지금 다운로드

Linux 용 Geoproof 순위 및 요약

광고

  • Rating:
  • 특허:
  • Freeware
  • 게시자 이름:
  • Julien Narboux
  • 게시자 웹사이트:
  • 운영체제:
  • Linux
  • 파일 크기:
  • 25.19MB

Linux 용 Geoproof 태그


Linux 용 Geoproof 설명

이 프로그램은 증거 관련 기능이있는 대화 형 지오메트리 소프트웨어입니다. 이 프로젝트는 기하학을위한 대화 형 증거 소프트웨어를 생성하는 것으로 구성됩니다. GeoproOf는 Coq Proof Assistant와 통신하여 기하학 이론의 자동 및 대화 형 증거를 수행 할 수 있습니다. Linux 용 GeoproOf 는 Julien Narboux가 Nicolas Franois가 시작한 DRGEOCAML이라는 프로젝트에서 주로 개발되었습니다. 특징 자세한 기능 목록 : - 기하학적 인 객체의 유형 유형 : 포인트, 선, 원, 벡터 및 세그먼트 -Three 변환 : 중앙 대칭, 번역 및 축 대칭 - 지점을 구축하는 9 가지 방법 - 라인을 구축하는 방법을 제공합니다 - 서클을 만드는 세 가지 방법 - 다음이 될 수있는 동적 부품이있는 텍스트 레이블 -Automated 정리를 사용하여 사용합니다


Linux 용 Geoproof 관련 소프트웨어

회사 소개