Special Session at
12th International Conference on Applications of Computer Algebra (ACA 2006)
June 26–29, 2006, Varna, Bulgaria

Session Organizers:

• Evgenija D. Popova, Inst.of Maths & Informatics, Bulgarian Academy of Sciences
  email: <>
• Walter Kraemer, Bergische Universitaet, Wuppertal
  email: <>

PREAMBLE:

For many years there is a considerable interaction between symbolic-algebraic and result-verification methods. The usage of validated computations at critical points of some algebraic algorithms improves the stability of the complete solution. Several hybrid algorithms using floating-point 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 result-verification methods in computer algebra systems turn the latter into valuable tool for reliable scientific computing while by applying symbolic-algebraic 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 Interval-xx, ACA 2000 and 2003 sessions) on interval and computer-algebraic 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 symbolic-algebraic and result-verification methods. The meeting goal is to stimulate the communication, coordination, integration, and cross-fertilization of ideas capable to meet the research challenges.

TALKS   scheduled for Monday,   June 26, 2006, Room 3

10:30 - 12:30

• Optimization of Algorithms by Continued Fractions
  F. Blomquist (University of Wuppertal, Germany)
  
  
• Interval Arithmetic Approach to Movers' Problem
  Natee Tongsiri (Research Institute for Symbolic Computation, Austria)
  
  
• Algebraic Computations with Hausdorff Continuous Functions
  R. Anguelov (University of Pretoria, South Africa) and
  S. Markov (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)
  
  
• The Maple Power Tool intpakX
  W. Kraemer (University of Wuppertal, Germany)
  

12:30 - 14:00   Lunch

14:00 - 15:30

• Implementation of CADNA library for BLAS and MATLAB: first results
  Jean-Luc Lamotte (University P. & M. Curie and UMR CNRS 7606, France)
  Yoann Lebars, Nicolas Limare (University P. & M. Curie, France)
  
  
• On the Algebra of Intervals
  Svetoslav Markov (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)
  
  
• Computing and Visualizing Solution Sets of Interval Linear Systems
  W. Kraemer (University of Wuppertal, Germany)
  

15:30 - 16:00   Coffee break

16:00 - 16:30

• Visualization of Parametric Solution Sets
  Evgenija D. Popova (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)
  (published in BIT Numerical Mathematics, 48(1):95-115, 2008)
  
  

PUBLICATIONS:

Papers presented at the special session are published in Serdica Journal of Computing volume 1, no. 4, 2007.