Interaction Between Computer Algebra and Interval Computations
Special Session at Session Organizers:
PREAMBLE: For many years there is a considerable interaction between symbolicalgebraic and resultverification methods. The usage of validated computations at critical points of some algebraic algorithms improves the stability of the complete solution. Several hybrid algorithms using floatingpoint and/or interval arithmetic in intermediate computations combine the speed of numerical computations with the exactness of symbolic methods providing still guaranteed correct results and a dramatic speed up of the corresponding algebraic algorithm. Embedding of interval data structures, hybrid and resultverification methods in computer algebra systems turn the latter into valuable tool for reliable scientific computing while by applying symbolicalgebraic methods interval computations expand the methodology tools and get an increased efficiency. This special session continues the tradition established by previous conferences and special sessions (including e.g. the conferences Intervalxx, ACA 2000, 2003, 2006, 2008, 2009, and 2010 sessions) on interval and computeralgebraic methods in science and engineering. The aim is to bring together participants from diverse areas of mathematics, computer science, various life & engineering/science disciplines that will demonstrate the progress in the interaction between symbolicalgebraic and resultverification methods. The meeting goal is to stimulate the communication, coordination, integration, and crossfertilization of ideas capable to meet the emerging challenges. SCOPE: For this special session, we invite survey papers, presentations of some recent developments, application case studies and research challenges. The topics include but are not limited to:
TALKS scheduled for Wednesday, June 27, 2012. The abstracts are available here.
