جبر محاسباتی

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

جبر محاسباتی شاخه‌ای از علوم کامپیوتر و ریاضیات است که به مطالعه الگوریتم‌های جبری با زبان جبر می‌پردازد. برخی از مسائل جبر محض از مطالعه جبر محاسباتی حاصل گشته‌اند.

طی بیست سال گذشته بسیاری از شاخه‌های جبر (و نه همه آن) حاوی نظریه‌های غنی الگوریتمی گشته‌اند، یعنی می‌توان الگوریتم‌های قوی برای پاسخ به سوالاتی که در ساختارهای جبری هستند بدست آورد.

منابع[ویرایش]

  • Martin Kreuzer, Lorenzo Robbiano (2008). Computational Commutative Algebra 1. Springer. ISBN 354067733X.