Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

295 Pages·2016·10.41 MB·English

by  Marco Nehmeier

Marco Nehmeier
Jürgen Wolff von Gudenberg
Warwick Tucker (Eds.)
Scientific Computing,
3
5
Computer Arithmetic,
5
9

S
C and Validated Numerics
N
L
16th International Symposium, SCAN 2014
Würzburg, Germany, September 21–26, 2014
Revised Selected Papers
123
Lecture Notes in Computer Science 9553
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zürich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology, Madras, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/7407
ü
Marco Nehmeier J rgen Wolff von Gudenberg
(cid:129)
Warwick Tucker (Eds.)
fi
Scienti c Computing,
Computer Arithmetic,
and Validated Numerics
16th International Symposium, SCAN 2014
ü –
W rzburg, Germany, September 21 26, 2014
Revised Selected Papers
123
Editors
MarcoNehmeier Warwick Tucker
Institute of Computer Science Department ofMathematics
University of Würzburg Uppsala University
Würzburg Uppsala
Germany Sweden
JürgenWolff vonGudenberg
UniversitätWürzburg
Würzburg
Germany
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-319-31768-7 ISBN978-3-319-31769-4 (eBook)
DOI 10.1007/978-3-319-31769-4
LibraryofCongressControlNumber:2016934445
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©SpringerInternationalPublishingSwitzerland2016
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAGSwitzerland
In Memory of Walter Krämer
This book is dedicated to Walter Krämer (1952 – 2014), the longtime chair of the
SCAN Scientific Committee.
After having suffered from a long and heavy illness,
Walter Krämer passedawayMonday,October27,shortly
after this conference. His whole (scientific) life was ded-
icated to reliable computing. In the year 1979 he started
his career in reliable floating point computations with a
diploma (master) thesis on the evaluation of standard
functions for the IBM/370 hexadecimal floating point
architecture that became one of the cornerstones of the
IBM ACRITH project. In 1987 he earned his PhD from
the University of Karlsruhe. Six years later he advanced
his topic further by finishing his habilitation on the
calculation of functions and constants in computers. He
workedonseveralresearchandmanagementpositionsattheUniversityofKarlsruheuntil
he became professor at the University of Wuppertal, holding the chair of scientific
computingandsoftwareengineering.Heprovidedagreatservicetothecommunityby
maintainingandfurtherdevelopingC-XSC,oneofthemostwidelyusedintervalarith-
meticpackages.Hewasalsoactiveinrepresentingandpromotingourfield.Hewasthe
chairoftheGAMMActivityGrouponComputerArithmeticandScientificComputing.
After the closing of this group he founded another one with similar content:
Computer-Assisted Proofs and Symbolic Computations. He also was a well-accepted
teacher at the University of Wuppertal and supervised more than 12 PhD theses.
Accordingtohismissiontospreadtheideaofreliablecomputing,itisnotsurprisingthat
severalofhisPhDstudentscamefromabroad,e.g.,BrazilorEgypt.
AllinallWalterKrämerwasoneofthemostactivepromotersofourfield.Hewas
neverafraidofdifficultandtime-consumingworkwhentheideaofreliablecomputing
wastobepushed.Hetraveledextensivelyandhadcontactswithresearchersallaround
theworld.Evenintheadvancedstateofhisdisease,hetriedtokeepintouchwithhis
research group.
The whole community and I in particular will always remember our colleague and
friend Walter Krämer.
March 2016 Jürgen Wolff von Gudenberg
AbibliographyofWalterKrämer’sworkcanbefoundattheendofthisbook.
Picture:©AngelikaKrämer-Maiss,consentforpublicationisgranted.
Preface
SCAN2014, the 16th GAMM-IMACS International Symposium on Scientific
Computing, Computer Arithmetic, and Validated Numerics, was held in Würzburg,
Germany, September 21–26, 2014. This conference continued the series of interna-
tional SCAN symposia initiated in the late 1980s by the University of Karlsruhe,
Germany, and organized under the joint auspices of GAMM and IMACS. SCAN
symposia have been held in Germany, Europe, the USA, Russia, and Japan. The next
two SCAN conferences are scheduled to be held in Sweden and Japan.
The main concerns of research addressed by SCAN conferences are validation,
verification, or reliable assertions of numerical computations. Interval arithmetic and
othertreatmentsofuncertaintyaredevelopedasappropriatetools.Incomputerscience
validation usually means finding the right model, whereas verification means imple-
menting the model correctly. In our context, indeed, we use both validation and ver-
ification when solving real-life problems. It makes sense to consider the mathematical
modelingtechnologyinmoredetailandtounderstandwhatiscoupledwiththisorthat
concept. We have:
Real-life Field oriented Mathematical Numerical
⇒ ⇒ ⇒
phenomenon model model answer
“Validation” applies to the first and second arrows in the scheme, while “verification”
characterizes the third one. Numerical methods, algorithms, and computations are
responsible for the third arrow, too; they are not present in the first and second stages
of the modeling process. This is why in connection with numerical methods “verifi-
cation” is more appropriate. Worrying about whether the thickness of the input inter-
vals correctly captures uncertainty in the physical problem, however, is validation.1
One of the duties of the SCAN conferences is the awarding of the Moore Prize for
theapplicationofintervalarithmetic.ThisyearProf.KentaKobayashiwasselectedfor
his research on the wave equation.
The symposium attracted more than 80 participants from 18 countries. The fol-
lowing seven invited lectures were given: Sylvie Boldo (Inria, France) gave a lecture
aboutformalverificationoftrickynumericalcomputations.EkaterinaAuer(University
of Duisburg-Essen, Germany) talked about result verification and uncertainty man-
agement in engineering applications. Bartlomiej Jacek Kubica (Warsaw University of
Technology, Poland) presented interval methods for solving of quantified nonlinear
problems. Interval arithmetic, one of the main subjects of the SCAN conferences, has
beenstandardizedasIEEEStd1788.Manyparticipantsofthesymposiumwereactive
in this working group. The technical editor John Price (Cardiff University, UK)
introducedthearchitectureofthisstandardinaplenarytalk.AndrejBauer(University
1DiscussioninitiatedbyS.Shary.
VIII Preface
of Ljubljana, Slovenia) reported on programming techniques for exact real arithmetic.
John Gustafson (Ceranovo Inc., USA) proposed an energy-efficient and massively
parallelapproachtovalidnumerics,whichmayreplacefloatingpointarithmeticinthe
future. Algorithmic and software challenges at extreme scales were the topic of Jack
Dongarra’s (University of Tennessee and ORNL, USA) lecture.
Country Participants Country Participants
Germany 18 UK 2
Japan 17 Austria 1
France 16 Brazil 1
USA 7 China 1
Russia 6 India 1
Czech Republic 3 The Netherlands 1
Bulgaria 2 Poland 1
Egypt 2 Slovenia 1
Hungary 2 Sweden 1
More than 60 contributed talks were given. A strict and careful reviewing process
resulted in the 22 contributions that are collected in this volume. We take the oppor-
tunitytothankallthereviewersfortheirdetailedcommentspresentedintime.Agreat
help in organizing this review process was offered by Warwick Tucker (Uppsala
University, Sweden), the host of SCAN2016—many thanks.
I further want to thank the members of the Scientific Committee, whoever I asked
gave me immediate feedback, as well as the organizers of the last three meetings,
Vladik Kreinovich (El Paso), Nathalie Revol (Lyon), and Sergey Shary (Novosibirsk)
in particular.
I express a special thanks to all our sponsors, their donations made the conference
possible. Organizing such a conference involves a lot of work, but organizing this
conference was a real pleasure for me, thanks to the tremendous assistance I got from
the Organizing Committee comprising Alexander Dallmann, Fritz Kleemann, Marco
Nehmeier, Anika Schwind, and Susanne Stenglin.
December 2015 Jürgen Wolff von Gudenberg
Organization
Program Committee
Jürgen Wolff von Gudenberg Würzburg, Germany [Chair]
Vladik Kreinovich El Paso, USA
Marco Nehmeier Würzburg, Germany
Nathalie Revol Lyon, France
Sergey P. Shary Novosibirsk, Russia
Warwick Tucker Uppsala, Sweden
Organizing Committee
Jürgen Wolff von Gudenberg Würzburg, Germany [Chair]
Alexander Dallmann Würzburg, Germany
Fritz Kleemann Würzburg, Germany
Marco Nehmeier Würzburg, Germany
Anika Schwind Würzburg, Germany
Susanne Stenglin Würzburg, Germany
Proceedings Coordinators
Marco Nehmeier Würzburg, Germany
Anika Schwind Würzburg, Germany
Scientific Committee
G. Alefeld Karlsruhe, Germany
J.-M. Chesneaux Paris, France
G.F. Corliss Milwaukee, USA
T. Csendes Szeged, Hungary
A. Frommer Wuppertal, Germany
R.B. Kearfott Lafayette, USA
W. Kraemer Wuppertal, Germany
V. Kreinovich El Paso, USA
U. Kulisch Karlsruhe, Germany
W. Luther Duisburg, Germany
G. Mayer Rostock, Germany
S. Markov Sofia, Bulgaria
J.-M. Muller Lyon, France
M. Nakao Fukuoka, Japan
M. Plum Karlsruhe, Germany
X Organization
N. Revol Lyon, France
J. Rohn Prague, Czech Republic
S. Rump Hamburg, Germany
S. Shary Novosibirsk, Russia
Yu. Shokin Novosibirsk, Russia
W. Walter Dresden, Germany
J. Wolff von Gudenberg Würzburg, Germany
N. Yamamoto Tokyo, Japan