پرش به محتوا

جبر محاسباتی: تفاوت میان نسخه‌ها

از ویکی‌پدیا، دانشنامهٔ آزاد
محتوای حذف‌شده محتوای افزوده‌شده
جزبدون خلاصۀ ویرایش
جزبدون خلاصۀ ویرایش
خط ۹: خط ۹:
{{چپچین}}
{{چپچین}}


* {{cite book |author= Thomas Becker, Volker Weispfenning, and H. Kredel |year=1993 |title=Gröbner Bases: A Computational Approach to Commutative Algebra |publisher=Springer |isbn=0387979719}}
* {{cite book |author= Martin Kreuzer, Lorenzo Robbiano |year=2008 |title=Computational Commutative Algebra 1 |publisher=Springer |isbn=354067733X}}


{{پایان چپچین}}
{{پایان چپچین}}
[[Category:علوم کامپیوتر]]


{{ریاضی-خرد}}
{{ریاضی-خرد}}





[[bg:Компютърни системи за символно смятане]]
[[bg:Компютърни системи за символно смятане]]

نسخهٔ ‏۱۴ ژانویهٔ ۲۰۱۱، ساعت ۱۸:۰۹

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

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


منابع

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