Bu, en son sürümü grey-0.9.4.tar.gz olarak indirilebilen, Linux'ta çevrimiçi olarak çalıştırılan GraPE Grafiksel Kanıt Düzenleyici adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile çevrimiçi olarak Linux'ta çalıştırmak için GraPE Grafiksel Kanıt Düzenleyici adlı bu uygulamayı çevrimiçi olarak indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
EKRAN
Ad
Linux'ta çevrimiçi olarak çalışacak GraPE Grafik Kanıt Düzenleyicisi
TANIM
İspat teorisyenlerinin tümdengelim sistemlerini incelemeleri ve onlar için ispat arama stratejileri geliştirmeleri için bir araç. GraPE sonunda adım adım kanıt oluşturmayı, çeşitli stratejilerle otomatik kanıt aramayı, kanıt dönüşümlerini ve analizini desteklemelidir.Seyirci
Gelişmiş Son Kullanıcılar, Eğitim, Bilim/Araştırma
Kullanıcı arabirimi
Java Salıncak
Programlama dili
Java
Bu, https://sourceforge.net/projects/grape/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
