Linux için geoproof Proje, geometri için etkileşimli bir kanıt yazılımı üretiyor.
Şimdi İndirin

Linux için geoproof Sıralama ve Özet

Linux için geoproof Etiketler

Linux Wassup yazılımı Nokia N73 yazılımı MP3 Kesici Yazılımı antivirüs jar yazılımı l linux Linux için Navigator BDE Linux x ymailisg yahoo Ücretsiz SD disk katran linux ratdvd linux jar yazılımı Sony

Linux için geoproof Açıklama

Bu program, prova ile ilgili özelliklere sahip etkileşimli bir geometri yazılımıdır. Proje, geometri için etkileşimli bir kanıt yazılımı üretmede oluşur. Geoproof, Geometri teoremlerinin otomatik ve etkileşimli kanıtlarını gerçekleştirmek için Coq prova asistanı ile iletişim kurabilir. Linux için jeoproof, esas olarak Nicolas François tarafından başlatılan DRGEOCAML adlı bir projeden Julien Narboux tarafından geliştirilmiştir. Özellikleri Detaylı özellik listesi: -Five Geometrik Nesnelerin Çeşitleri: Puanlar, Çizgiler, Daireler, Vektörler ve Segmentler -Three dönüşümleri: merkezi simetri, çeviri ve eksenel simetri - bir nokta inşa etmek için dokuz yol -İyi bir çizgi oluşturmanın yolları Bir daire oluşturmanın yolları - Aşağıdakiler olabilen dinamik parçalara sahip metin etiketleri - kullanarak kanıtlanan teorem

Linux için geoproof İlgili Yazılım