 | جوفرووف لينكسيتكون المشروع في إنتاج برنامج دليل تفاعلي للهندسة. |
| التحميل الان | |
جوفرووف لينكس الترتيب والملخص
الإعلانات
- رخصة:
- Freeware
- اسم الناشر:
- Julien Narboux
- موقع ويب الناشر:
- أنظمة التشغيل:
- Linux
- حجم الملف:
- 25.19MB
جوفرووف لينكس العلامات
جوفرووف لينكس وصف
هذا البرنامج هو برنامج هندسي تفاعلي مع ميزات برهان ذات صلة. يتكون المشروع في إنتاج برنامج دليل تفاعلي للهندسة. يمكن للجوفرو التواصل مع مساعد دليل COQ لإجراء البراهين التلقائية والتفاعلية للنظرات الهندسية. تم تطوير GeoProof ل Linux بشكل رئيسي من قبل Julien Narboux من مشروع يسمى DrgeCaml التي بدأها Nicolas Franois. سمات قائمة ميزة مفصلة: أنواع الأجسام الهندسية: النقاط والخطوط والدوائر والمتجهات والشرائح التحولات - التناظر المركزية والترجمة والترجمة والتماثل المحوري - تسع طرق لبناء نقطة طرق لا لبناء خط ، طرق لإنشاء دائرة تلصقات النص مع الأجزاء الديناميكية التي يمكن أن تكون التالية نظرية النظرية المثبتة باستخدام
جوفرووف لينكس برامج ذات صلة
