 | Hilbert IIבדוק את האקסיומות במתמטיקה וליצור מסד נתונים משלך |
| הורד עכשיו | |
Hilbert II דירוג וסיכום
פרסומת
- רישיון:
- GPL
- שם המפרסם:
- Michael Meyling
- מערכות הפעלה:
- June 2nd, 2013, 02:14 UTC
- גודל הקובץ:
- 7.9 MB
Hilbert II תגים
Hilbert II תיאור
Hilbert II מספק לך יישום אינטואיטיבי המאפשר לך לאמת משפטים מתמטיים אקסיומות לדיוק ולכלול אותם בבסיס ידע. Hilbert II משלבת קבוצה של דגמים, ולכן היישום יכול בקלות להתעמת עם שתי נוסחאות לבדוק אם קובץ הקלט תקף. ניתן להמיר את מודולים QEDEIK טעון לפורמט טקסט לטקס ו- UTF-8.
Hilbert II תוכנה קשורה
