זוהי אפליקציית לינוקס בשם The GraPE Graphical Proof Editor לרוץ בלינוקס מקוון, שניתן להוריד את המהדורה האחרונה שלה בתור grape-0.9.4.tar.gz. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באופן מקוון את האפליקציה הזו בשם GraPE Graphical Proof Editor כדי לרוץ בלינוקס באופן מקוון עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל את האמולטור המקוון של OnWorks Linux או Windows מקוון או אמולטור מקוון של MACOS מאתר זה.
- 5. ממערכת ההפעלה OnWorks Linux שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה, התקן אותה והפעל אותה.
בצילומי מסך
Ad
עורך GraPE Graphical Proof שירוץ בלינוקס מקוון
תיאור
כלי לתאורטיקנים של הוכחה ללימוד מערכות ניכויים ולפיתוח אסטרטגיות חיפוש הוכחות עבורן. GraPE אמור בסופו של דבר לתמוך בבניית הוכחה שלב אחר שלב, חיפוש הוכחה אוטומטי עם אסטרטגיות שונות, טרנספורמציות הוכחה וניתוח.קהל
משתמשי קצה מתקדמים, חינוך, מדע/מחקר
ממשק משתמש
Java Swing
שפת תכנות
Java
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/grape/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.