′ September 23–29 SCAN 2012 Novosibirsk, Russia 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics Book of Abstracts 15th GAMM–IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics SCAN’2012 Novosibirsk, Russia September 23–29, 2012 Book of Abstracts Institute of Computational Technologies Novosibirsk, 2012 SCIENTIFIC COMMITTEE G¨otz Alefeld (Karlsruhe, Germany) • Jean-Marie Chesneaux (Paris, France) • George F. Corliss (Milwaukee, USA) • Tibor Csendes (Szeged, Hungary) • Andreas Frommer (Wuppertal, Germany) • R. Baker Kearfott (Lafayette, USA) • Walter Kr¨amer (Wuppertal, Germany) • Vladik Kreinovich (El Paso, USA) • Ulrich Kulisch (Karlsruhe, Germany) • Wolfram Luther (Duisburg, Germany) • Svetoslav Markov (Sofia, Bulgaria) • G¨unter Mayer (Rostok, Germany) • Jean-Michel Muller (Lyon, France) • Mitsuhiro Nakao (Fukuoka, Japan) • Michael Plum (Karlsruhe, Germany) • Nathalie Revol (Lyon, France) • Jiˇr´ıRohn (Prague, Czech Republic) • Siegfried Rump (Hamburg, Germany) • Sergey P. Shary (Novosibirsk, Russia) • Yuri I. Shokin (Novosibirsk, Russia) • Wolfgang V. Walter (Dresden, Germany) • J¨urgen Wolff von Gudenberg (W¨urzburg, Germany) • Nobito Yamamoto (Tokyo, Japan) • WEB-SITE http://conf.nsc.ru/scan2012 ORGANIZERS Institute of Computational Technologies SD RAS, • http://www.ict.nsc.ru Novosibirsk State University, • http://www.nsu.ru Novosibirsk State Technical University, • http://www.nstu.ru “Scientific Service” Ltd. • SPONSOR Russian Foundation for Basic Research (RFBR) http://www.rfbr.ru ORGANIZING COMMITTEE Sergey P. Shary
[email protected] • Irene A. Sharaya
[email protected] • Yuri I. Molorodov
[email protected] • Svetlana V. Zubova
[email protected] • Andrei V. Yurchenko • Vladimir A. Detushev • Dmitri Yu. Lyudvin • E-MAIL
[email protected] Preface This volume contains peer refereed abstracts of the 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Novosibirsk, September 23–29, 2012.