Geoproof עבור לינוקס

הפרויקט מורכב בהפקת תוכנה הוכחה אינטראקטיבית לגיאומטריה.
הורד עכשיו

Geoproof עבור לינוקס דירוג וסיכום

פרסומת

  • Rating:
  • רישיון:
  • Freeware
  • שם המפרסם:
  • Julien Narboux
  • אתר האינטרנט של המוציא לאור:
  • מערכות הפעלה:
  • Linux
  • גודל הקובץ:
  • 25.19MB

Geoproof עבור לינוקס תגים


Geoproof עבור לינוקס תיאור

תוכנית זו היא תוכנה גיאומטריה אינטראקטיבית עם תכונות הקשורות הוכחה. הפרויקט מורכב בהפקת תוכנה אינטראקטיבית הוכחה לגיאומטריה. Geoproof יכול לתקשר עם עוזר הוכחה CAQ לבצע הוכחות אוטומטיות ואינטראקטיביות של משפטי גיאומטריה. Geoproof עבור לינוקס פותח בעיקר על ידי Julien Narboux מפרויקט הנקרא drgeocaml ביוזמת ניקולה Franois. מאפיינים רשימת תכונות מפורטות: - סוגים של אובייקטים גיאומטריים: נקודות, שורות, מעגלים, וקטורים ומגזרים - טרנספורמציות טריות: סימטריה מרכזית, תרגום וסימטריה צירית - תשע דרכים לבנות נקודה - דרכים לבנות קו -ריקות הדרכים לבנות מעגל -Text תוויות עם חלקים דינמיים אשר יכול להיות הבא - תיאורם המופיע


Geoproof עבור לינוקס תוכנה קשורה

עלינו