Scientific Computing, Validated Numerics, Interval Methods

Scan 2000، سمپوزیوم بین المللی GAMM - IMACS در محاسبات علمی، محاسبات کامپیوتری، و اعداد معتبر و فاصله 2000، کنفرانس بین المللی روش های بازه ای در علم و مهندسی به طور مشترک در کارلسروهه، 19 تا 22 سپتامبر 2000 برگزار شد. کنفرانس مشترک مجموعه 7 سمپوزیوم قبلی اسکن را با حمایت مشترک GAMM و IMACS ادامه داد. این کنفرانس ها به طور سنتی جنبه های عددی و الگوریتمی محاسبات علمی را با تأکید زیادی بر اعتبار سنجی و تأیید نتایج محاسبه شده و همچنین بر ابزارهای حسابی، برنامه نویسی و الگوریتمی برای این منظور پوشش می دهند. این کنفرانس در ادامه به سلسله 4 کنفرانس قبلی اینتروال با تمرکز بر روش های فاصله ای و کاربرد آنها در علم و مهندسی ادامه داد. هدف این است که برنامه های کاربردی و تحقیقات جاری و همچنین ترویج درک بیشتر و افزایش آگاهی از موضوعات موضوعی را تبلیغ کنند. این سمپوزیوم در کارلسروهه، مهد اروپایی محاسبات بازه ای و اعداد خود تأیید شونده برگزار شد و 193 محقق از 33 کشور را به خود جلب کرد. 12 سخنرانی دعوت شده و 153 سخنرانی ارائه شد. اما نه تنها مقدار آن بسیار زیاد بود، ما عمیقاً تحت تأثیر بلوغ در حال ظهور رشته خود بودیم. گفتگوهای زیادی در مورد طیف گسترده ای از کاربردهای جدی که تمام بخش های مدل سازی ریاضی را گسترش می دهند، مورد بحث قرار گرفت. ابزارهای جدید کارآمد، در دسترس عموم یا حتی تجاری پیشنهاد یا ارائه شدند، و همچنین پایه های نظریه فواصل و محاسبات قابل اعتماد به طور قابل توجهی تقویت شدند.

Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Conference on Interval Methods in Science and Engineering were jointly held in Karlsruhe, September 19-22, 2000. The joint conference continued the series of 7 previous Scan-symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose. The conference further continued the series of 4 former Interval conferences focusing on interval methods and their application in science and engineering. The objectives are to propagate current applications and research as well as to promote a greater understanding and increased awareness of the subject matters. The symposium was held in Karlsruhe the European cradle of interval arithmetic and self-validating numerics and attracted 193 researchers from 33 countries. 12 invited and 153 contributed talks were given. But not only the quantity was overwhelming we were deeply impressed by the emerging maturity of our discipline. There were many talks discussing a wide variety of serious applications stretching all parts of mathematical modelling. New efficient, publicly available or even commercial tools were proposed or presented, and also foundations of the theory of intervals and reliable computations were considerably strengthened.