 | هيلبرت الثانيتحقق من بديهيات الرياضيات وإنشاء قاعدة بيانات المعرفة الخاصة بك |
| التحميل الان | |
هيلبرت الثاني الترتيب والملخص
الإعلانات
- رخصة:
- GPL
- اسم الناشر:
- Michael Meyling
- أنظمة التشغيل:
- June 2nd, 2013, 02:14 UTC
- حجم الملف:
- 7.9 MB
هيلبرت الثاني العلامات
هيلبرت الثاني وصف
يوفر لك Hilbert II تطبيقا بديهيا يسمح لك بالتحقق من النظرية الرياضية والحبث الدقة للتأكد من دقتها وتضمينها في قاعدة المعرفة. يدمج Hilbert II مجموعة من النماذج، وبالتالي يمكن للتطبيق مواجهة الصيغتين بسهولة والتحقق مما إذا كان ملف الإدخال صالحا. يمكن تحويل وحدات QEEDQ المحملة إلى تنسيق نص Latex و UTF-8.
هيلبرت الثاني برامج ذات صلة
