GeoProof for Linux 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 Linux için esas Julien Narboux tarafından bir proje DrGeoCaml Nicolas François tarafından başlatılan adlı geliştirilmiştir.

---

özellikleri
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 yollar
-bir çizgi
oluşturmak için beş yol olan
aşağıdaki-Otomatik teoremi Linux 0.5beta için GeoProof download özgür olabilir kullanarak ispat edilebilir bir daire dinamik parçalar ile
-metin etiketleri oluşturmak için üç yolu şimdi.