جوفرووف

مشروع GEOPROOF هو تطبيق هندسي ديناميكي مع ميزات إثبات ذات صلة.
التحميل الان

جوفرووف الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • GPL
  • السعر:
  • FREE
  • اسم الناشر:
  • Billy
  • موقع ويب الناشر:
  • http://www.swarmthe.com

جوفرووف العلامات


جوفرووف وصف

مشروع GEOPROOF هو تطبيق هندسي ديناميكي مع ميزات برهان ذات صلة. مشروع GEOPROOF هو تطبيق هندسي ديناميكي مع ميزات إثبات ذات صلة. يمكنك التواصل مع مساعد دليل COQ لأداء البراهين التلقائية والتفاعلية للنظرية. يتكون المشروع في إنتاج برنامج دليل تفاعلي ل Geometry.geoproof مساعد مع مساعد دليل COQ أداء البراهين التلقائية والتفاعلية للنظرات الهندسية. تم تطوير GEOPROOF بشكل رئيسي من قبل Julien Narboux من مشروع يسمى DrgeCaml التي بدأها نيكولاس باردانيس. فيما يلي بعض الملامح الرئيسية "GEOPROOF": يتم إجراء الحسابات باستخدام الدقة التعسفي بفضل مكتبة القطع من قبل جان كريستوف Fillitre. يمكن التحقق من بعض النظرية باستخدام أساليب إثبات نظرية تلقائية المنفذة من جون هاريسون. يمكن ل GEOPROOF التواصل مع Coqide (واجهة مستخدم للمقياس). يمكن للمستخدم إنشاء بناء باستخدام GEOPROOF ويتم ترجمة الصيغة المقابلة تلقائيا إلى بناء جملة COQ.


جوفرووف برامج ذات صلة

معلومات عنا