ضع الكلمة المناسبة: تطبيق automath لحل المسائل الرياضيه