Mathematical Aspects of Scientific Software

از آنجایی که نرم‌افزار علمی سوختی است که رایانه‌های امروزی را به سمت حل طیف وسیعی از مشکلات سوق می‌دهد، تلاش‌های زیادی برای توسعه نرم‌افزار، سیستم‌ها و الگوریتم‌های جدید برای حل مسائل علمی انجام می‌شود. این کتاب به بررسی این موضوع می‌پردازد که چگونه نرم‌افزار علمی بر ساختار ریاضیات تأثیر می‌گذارد، چگونه زیرشاخه‌های جدیدی ایجاد می‌کند، و چگونه کلاس‌های جدیدی از مسائل ریاضی پدید می‌آیند. تمرکز بر روی پنج موضوع است که در حال حاضر تأثیر آن احساس می‌شود و چالش‌های مهم جدید وجود دارد، یعنی: زیرشاخه جدید محاسبات موازی و هندسی، ظهور سیستم‌های محاسبات نمادین در استفاده «عمومی»، ظهور بالقوه جدید. ، سیستم های ریاضی سطح بالا، و سوال مهم در مورد چگونگی اندازه گیری عملکرد ابزارهای حل مسئله ریاضی.

Since scientific software is the fuel that drives today's computers to solve a vast range of problems, huge efforts are being put into the development of new software, systems and algorithms for scientific problem solving. This book explores how scientific software impacts the structure of mathematics, how it creates new subfields, and how new classes of mathematical problems arise. The focus is on five topics where the impact is currently being felt and where important new challenges exist, namely: the new subfield of parallel and geometric computations, the emergence of symbolic computation systems into "general" use, the potential emergence of new, high-level mathematical systems, and the crucial question of how to measure the performance of mathematical problem solving tools.