Software for Algebraic Geometry

الگوریتم‌ها در هندسه جبری با بسته‌های نرم‌افزاری که آنها را پیاده‌سازی می‌کنند، همراهی می‌کنند. آنها با هم زمینه مدرن هندسه جبری محاسباتی را ایجاد کردند که هم در پیشرفت های نظری و هم در کاربردها نقش مهمی ایفا می کند. در طول پانزده سال گذشته، چندین بسته با هدف عمومی عالی برای محاسبات در هندسه جبری توسعه یافته است، مانند CoCoA، Singular و Macaulay 2. در حالی که این بسته‌ها به طور مداوم تکامل می‌یابند و پیشرفت‌های جدید ریاضی را در بر می‌گیرند، هم انگیزه ایجاد می‌کنند و هم نیاز به ایجاد موارد جدید دارند. ریاضیات و الگوریتم های هوشمندتر.

این جلد کارگاه \"نرم افزار برای هندسه جبری\" را که در هفته 23 تا 27 اکتبر 2006 برگزار شد، به عنوان دومین کارگاه در سال موضوعی در مورد کاربردهای هندسه جبری در IMA مقالات این جلد بسته‌های نرم‌افزاری Bertini، PHClab، Gfan، DEMiCs، SYNAPS، TrIm، Gambit، ApaTools و کاربرد Risa/Asir را در حدس و گمان‌هایی روی مقادیر متعدد زتا توصیف می‌کنند. آنها دید وسیعی از روندهای فعلی در هندسه جبری محاسباتی از طریق توسعه نرم افزار و برنامه های کاربردی به خواننده ارائه می دهند.

Algorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established the modern field of computational algebraic geometry which has come to play a major role in both theoretical advances and applications. Over the past fifteen years, several excellent general purpose packages for computations in algebraic geometry have been developed, such as, CoCoA, Singular and Macaulay 2. While these packages evolve continuously, incorporating new mathematical advances, they both motivate and demand the creation of new mathematics and smarter algorithms.

This volume reflects the workshop "Software for Algebraic Geometry" held in the week from 23 to 27 October 2006, as the second workshop in the thematic year on Applications of Algebraic Geometry at the IMA. The papers in this volume describe the software packages Bertini, PHClab, Gfan, DEMiCs, SYNAPS, TrIm, Gambit, ApaTools, and the application of Risa/Asir to a conjecture on multiple zeta values. They offer the reader a broad view of current trends in computational algebraic geometry through software development and applications.