Algorithmic Algebra and Number Theory: Selected Papers From a Conference Held at the University of Heidelberg in October 1997

این کتاب شامل 22 سخنرانی است که در کنفرانس نهایی برنامه تحقیقاتی آلمانی "تئوری اعداد الگوریتمی و جبر 1991-1997"، با حمایت Deutsche Forschungsgemeinschaft ارائه شده است. هدف از این برنامه پژوهشی و نشست گرد هم آوردن توسعه دهندگان نرم افزار جبر کامپیوتری و محققان با استفاده از روش های محاسباتی برای دستیابی به بینش در مورد مسائل تجربی و سوالات نظری در جبر و نظریه اعداد بود. این کتاب مروری بر روش‌های الگوریتمی و نتایج به‌دست‌آمده در این دوره عمدتاً در تئوری اعداد جبری، جبر جابجایی و هندسه جبری، و نظریه گروه و نمایش می‌دهد. برخی از مقالات وضعیت فعلی سیستم‌های جبر رایانه‌ای را که با پشتیبانی برنامه تحقیقاتی توسعه یافته‌اند، نشان می‌دهند، به عنوان مثال KANT و LiDIA برای نظریه اعداد جبری، SINGULAR، REDLOG و INVAR به ترتیب برای جبر جابجایی و نظریه ثابت، و GAP، SYSYPOS و CHEVIE. برای نظریه گروه و بازنمایی.

This book contains 22 lectures presented at the final conference of the German research program "Algorithmic Number Theory and Algebra 1991-1997", sponsored by the Deutsche Forschungsgemeinschaft. The purpose of this research program and the meeting was to bring together developers of computer algebra software and researchers using computational methods to gain insight into experimental problems and theoretical questions in algebra and number theory. The book gives an overview on algorithmic methods and results obtained during this period mainly in algebraic number theory, commutative algebra and algebraic geometry, and group and representation theory. Some of the articles illustrate the current state of the computer algebra systems developed with support from the research program, for example KANT and LiDIA for algebraic number theory, SINGULAR, REDLOG and INVAR for commutative algebra and invariant theory respectively, and GAP, SYSYPHOS and CHEVIE for group and representation theory.