مساعد برهان رياضي تفاعلي مبني باستخدام بايثون و سايمبي

قام مطور ببناء مساعد برهان رياضي تفاعلي باستخدام بايثون ومكتبة سايمبي. يقوم هذا المساعد بإثبات تقديرات مقاربة شبه تلقائية تتضمن دوال قياسية. بمحاكاة مساعد البرهان لين، يدعم هذا المساعد الحساب الخطي والحساب اللوغاريتمي الخطي، مما يسمح للمستخدمين بتوجيه عملية البرهان من خلال تقديم استراتيجيات عالية المستوى. يعمل حاليًا في الوضع التفاعلي لبايثون، مع التخطيط لإضافة واجهة مستخدم رسومية في المستقبل. ينوي المطور توسيع هذا المساعد لمعالجة نطاق أوسع من المهام الرياضية، مثل تقدير معايير فضاءات الدوال.