إنها مواصفات دقيقة بلغة رسمية دقيقة و هذا ما يجعل "ماثيماتيكا" تعلم ما الذي يجب القيام به.
It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
มันเป็นข้อกำหนดที่แม่นยำด้วยภาษาทางการที่แม่นยำซึ่งทำให้ Mathematica รู้ว่าต้องทำอะไรที่นี่