axịom™: The Scientific Computation System

پیشرفت‌های اخیر در عملکرد سخت‌افزار و فناوری نرم‌افزار، رویکرد کاملاً متفاوتی را برای ریاضیات محاسباتی ممکن کرده است. سیستم‌های محاسبات نمادین انقلابی در این زمینه ایجاد کرده‌اند و بر اساس نظریه‌های ریاضی تثبیت‌شده و اخیر برای گشودن امکانات جدید تقریباً در هر صنعتی ایجاد شده‌اند. AXIOM که قبلا Scratchpad نام داشت، یک سیستم نمادین و عددی قدرتمند جدید است که در مرکز تحقیقاتی IBM Thomas J. Watson توسعه یافته است. دامنه، ساختار و سازماندهی AXIOM آن را در بین سیستم های جبر رایانه ای برجسته کرده است. AXIOM: سیستم محاسبات علمی همراهی با سیستم AXIOM است. متن به سبکی ساده نوشته شده است و با پیشگفتار روحی دیوید و گریگوری چادنوفسکی آغاز می شود. این کتاب به خواننده یک مقدمه فنی با AXIOM می دهد، با آموزش سیستم تعامل می کند، به الگوریتم هایی که به تازگی توسط جامعه محاسبات نمادین توسعه یافته است دسترسی پیدا می کند، و برنامه نویسی پیشرفته و تکنیک های حل مسئله را ارائه می دهد. هشتاد تصویر و هشت صفحه درج رنگی، روش‌های جزییات متن مورد استفاده در سیستم گرافیک تعاملی دوبعدی و سه‌بعدی را همراهی می‌کنند، و بیش از ۲۵۰۰ خط ورودی نمونه به خواننده کمک می‌کنند تا مشکلاتی که قبلاً حل‌ناپذیر بوده‌اند را حل کند.

Recent advances in hardware performance and software technology have made possible a wholly different approach to computational mathematics. Symbolic computation systems have revolutionized the field, building upon established and recent mathematical theory to open new possibilities in virtually every industry. Formerly dubbed Scratchpad, AXIOM is a powerful new symbolic and numerical system developed at the IBM Thomas J. Watson Research Center. AXIOM's scope, structure, and organization make it outstanding among computer algebra systems. AXIOM: The Scientific Computation System is a companion to the AXIOM system. The text is written in a straightforward style and begins with a spirited foreword by David and Gregory Chudnovsky. The book gives the reader a technical introduction to AXIOM, interacts with the system's tutorial, accesses algorithms newly developed by the symbolic computation community, and presents advanced programming and problem solving techniques. Eighty illustrations and eight pages of color inserts accompany text detailing methods used in the 2D and 3D interactive graphics system, and over 2500 example input lines help the reader solve formerly intractable problems.