GeoProof indir

"Proje geometri için etkileşimli bir kanıtı yazılım üretiminde oluşur."
indir.biz Editörü: Bu program kanıt ilgili özellikleri ile interaktif bir geometri yazılımıdır.
Proje geometri için etkileşimli bir kanıtı yazılım üretiminde oluşur.
GeoProof Coq kanıtı asistanı ile geometri teoremleri otomatik ve etkileşimli deliller gerçekleştirmek için iletişim kurabilirsiniz.

---

GeoProof esas Julien Narboux tarafından bir proje DrGeoCaml Nicolas François tarafından başlatılan adlı geliştirilmiştir.

---

Özellikler
Detaylı özellik listesi:
-geometrik nesneler beş türleri: noktalar, çizgiler, daireler, vektör ve segmentleri
üç dönüşümleri: merkezi simetri, çeviri, ve eksenel simetri - bir noktaya inşa etmek için dokuz yolu
-bir çizgi
oluşturmak için beş yol olan
aşağıdaki-Otomatik teoremi şimdi indir GeoProof 0.5beta ücretsiz yapabilirsiniz kullanarak ispat edilebilir bir daire dinamik parçalar ile
-metin etiketleri oluşturmak için üç yolu.