حساب رمزي
الحساب الرمزي (Symbolic computation) أو الحساب الجبري (algebraic computation)، ينتج من استخدام الآلآت، مثل الحاسوب، لمعالجة معادلات رياضية والتعابير الرمزية، بدلا من التلاعب بالكميات العديدية التي تمثلها هذة الرموز. يمكن استخدام هذا النظام لتحقيق التكامل الرمزي أو التمايز، واستبدال أحد التعابير بأخر، وتبسيط التعبير، الخ.
يشار أحياناً لحساب الرمزي التلاعب الرمزي، تجهيز رمزي، ترميز رياضي، أو الجبر الرمزي، لكن قد تشير هذه المصطلحات أيضاً إلى التلاعب الغير حسابية.
التطبيقات البرمجية التي تقوم بالحساب الرمزي يطلق عليها أنظمة الجبر الحاسوبي.
أنظر أيضاً
- نظرية البرهان الآلي
- الإثبات بمساعدة الحاسوب
- تدقيق الإثبات
- موديل تدقيق
- الحسابات الرقمية الرمزية
- المحاكاة الرمزية
- التنفيذ الرمزي
المراجع
- Symbolic Computation (An Editorial), Bruno Buchberger, Journal of Symbolic Computation (1985) 1, pp. 1–6.
- Making Computer Algebra More Symbolic (Invited), Stephen M. Watt, pp. 43–49, Proc. Transgressive Computing 2006: A conference in honor or Jean Della Dora، (TC 2006), April 24-26 2006, Granada Spain.
وصلات خارجية
- مقدمة جيدة للتحليل الثابت والبرمجة المنطقية عرض مثال على تطبيق الحساب الرمزي لتنفيذ برنامج التحليل الثابتة.
- معلومات عن الحساب الرمزي موقع جيد للمبتدئين
- ولفرام متكامل — التكامل الرمزي مجاناً على النترنت مع ماثماتيكا
- المساعدات الرياضية على الانترنت
- حاسبة الوظائف منWIMS
- حاسبة متكاملة على الأنترنت
| ملف:Nuvola apps edu mathematics-ar.svg | هذه بذرة مقالة عن الرياضيات تحتاج للنمو والتحسين، فساهم في إثرائها بالمشاركة في تحريرها. |
cs:Symbolický výpočet de:Symbolische Mathematik Symbolic computation]] fa:محاسبات نمادین fr:Calcul formel ko:기호계산 nl:Symbolische wiskunde pl:Obliczenia symboliczne pt:Matemática simbólica ru:Символьные вычисления
