الأحدث الأكثر رواجاً استكشف الخطوط الزمنية التصنيفات
←كل المصطلحات

مصطلح تقني

مساعد البراهين

برنامج مثل Lean يساعد على كتابة العبارات الرياضية بلغة صورية ويفحص آليا صحة كل استنتاج فيها.

بالإنجليزية

Proof Assistant

بالعربية

مساعد البراهين

ظهر أول مرة في

برهان بالذكاء الاصطناعي يضع مسألة نافييه-ستوكس أمام مراجعة الرياضيين

مصطلحات أخرى

تحليل الوساطة السيتوكين التهاب الشيخوخة النمط المعوي ميكروبات الأمعاء حل سلس
يتوفر إصدار جديد من نيو تقنية.