Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

762 Pages·2014·35.958 MB·English

by  Hoon Hong, Chee Yap (eds.)

Hoon Hong
Chee Yap (Eds.)
2
9 Mathematical
5
8

S
C Software – ICMS 2014
N
L
4th International Congress
Seoul, South Korea, August 5–9, 2014
Proceedings
123
Lecture Notes in Computer Science 8592
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Germany
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
MaxPlanckInstituteforInformatics,Saarbruecken,Germany
Hoon Hong CheeYap (Eds.)
Mathematical
Software – ICMS 2014
4th International Congress
Seoul, South Korea, August 5-9, 2014
Proceedings
1 3
VolumeEditors
HoonHong
NorthCarolinaStateUniversity
DepartmentofMathematics
Raleigh,NC,USA
E-mail:[email protected]
CheeYap
NewYorkUniversity
CourantInstitute
DepartmentofComputerScience
NewYork,NY,USA
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-662-44198-5 e-ISBN978-3-662-44199-2
DOI10.1007/978-3-662-44199-2
SpringerHeidelbergNewYorkDordrechtLondon
LibraryofCongressControlNumber:2014943438
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©Springer-VerlagBerlinHeidelberg2014
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof
thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,
broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology
nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection
withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand
executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation,
inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse
maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution
undertherespectiveCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication,
neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor
omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe
materialcontainedherein.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Preface
The 4th International Congress on Mathematical Software (ICMS 2014) was
heldduringAugust5–9,2014,atHanyangUniversityinSeoul,Korea.Itcontin-
ued the tradition of being held every four years as a satellite conference of the
International Congress of Mathematicians, which was also held in Seoul. There
were five invited plenary talks and 125 contributed talks. From the abstracts
of these talks, 106 were submitted and accepted as extended abstracts for the
present proceedings.
Mathematics has many interrelated branches. It is commonly observed that
despite this diversity, there is deep unity in mathematical thinking. One emerg-
ing thread across all branches of mathematics is the notion of effectivity or
computation. Mathematical theories often predict the existence of objects with
certain properties and it might be important to find the objects. Finding such
objectscallsforafiniteprocedureoralgorithm,whichweimplementinsoftware.
Conversely,toformulateconjecturesornewmathematicaltheories,wemaywant
to explore the space of such objects. Searching the space also requires software.
Mathematics has increasing overlap with disciplines such as computer science,
the emerging area of computational sciences and engineering and various appli-
cation areas. Again the idea of computation is a key factor in this convergence.
Thus,thecomputationalphenomenonbringsmathematicsintodirectcontact
with technology, resulting in the creation of certain residue or artifacts that we
call mathematical software. Bruno Buchberger in his invited paper here goes
further, with the bold assertion: Mathematics is essentially software. We in the
International Conference of Mathematical Software believe that the appearance
of mathematical softwareis one of the most important modern developments in
mathematics, and this phenomenon should be studied as a coherentwhole. Our
vision for ICMS is to serve as the major forum for mathematicians, scientists,
programmers, and developers who are interested in software.
Softwareisnotstatic:Anyonewhousessoftwareknowsthatitstypical“half-
life” is frustratingly short: But it compiled properly just last year! There is con-
stant renewal, development, and disruptive changes. It is partly caused by new
mathematical advances, but often the pressure is from technological changes,
e.g., the appearance of graphics processing units (GPUs). How do we produce
software in such an environment? Software requires algorithms, but to realize
algorithms we need organizational principles and tools. There are issues of nu-
merical robustness, scalability, usability, maintainability, best practice, and effi-
ciencyofsoftware.Thesearestandardtopicsincomputerscience,butthenature
of mathematical software also presents unique issues.
What are these unique issues? We cite one from the invited abstract of
Wolfram Decker below: “... the implementation of an advanced and more ab-
stractcomputationalmachineryoftendependsonalongchainofmorespecialized
VI Preface
algorithms and efficient data structures at various levels.” In Decker’s work on
computer algebra systems, such a chain might involve concepts and algorithms
from commutative algebra, algebraic geometry, arithmetic algebraic geometry,
andsingularitytheory.Any workingmathematicianwill instantly recognizethis
as another example of the said interrelatedness of mathematics. It is true that
any complex real-worldapplication will exhibit such interconnectedness. But in
mathematics, the interconnection is more precise, even axiomatizable.
Such issues are reflected in the extended abstracts collected in this volume.
They cover wide-ranging mathematical areas and software issues. They are or-
ganized according to various sessions at ICMS 2014. Furthermore, the range of
mathematical software represented at ICMS 2014 bodes well for our vision. It
shows strong demand for mathematical software. Such software may be classi-
fied as either large monolithic and comprehensive systems or boutique software
withmorespecializedtargets.AmorerecentthirdclassissuggestedbyDecker’s
example above: aggregative systems that aim to provide a common framework
for two or more self-contained systems. We predict that all these varieties of
software will continue to multiply and diversify.
To ensure that ICMS continues to play a positive role in future of this field,
for the first time, the organizers adopted a set of bylaws to govern ICMS 2014
and beyond. This is a minimal set of rules to standardize the organization and
whose interpretation is guided by past ICMS practice. They were tentatively
adoptedbythe AdvisoryBoardandwill be presentedforratificationatthe first
business meeting of ICMS during the conference.
We are thankful to all the individuals whose effort and support make ICMS
2014 possible: the plenary speakers, all the contributors of abstracts and ex-
tendedabstracts,the specialsessionorganizers,andtheLNCSteamatSpringer
under the leadershipofAlfredHofmann. We havebenefited fromthe experience
of the ICMS Advisory Board chaired by Professors Nobuki Takayama and An-
dres Iglesias. Last but not least, we acknowledge the work of the local chair,
Professor Deok-Soo Kim, and his committee at Hanyang University. Our ple-
nary speakers were funded by a generous grant from the National Institute for
Mathematical Sciences of Korea.
June 2014 Hoon Hong
Chee Yap
Bylaws of ICMS
Themotivationforthesebylawsistoguidethefuturedirectionsandgovernance
of the International Congress of Mathematical Software (ICMS). Ultimately,
we hope to build a community of researchersand practitioners centered around
the aims of the first three ICMS, namely, “mathematical software” viewed as
a scientific activity. Such a community is closely allied with areas such as al-
gorithms and complexity, software engineering, computational sciences, and of
courseallofconstructivemathematicsincludingcomputeralgebraandnumerical
computation. But mathematical software has unique (evolving) characteristics
that ICMS aims to foster and support. To build such a community, we need
continuityand somerules governingthe centralactivity ofourresearchcommu-
nity, namely, the ICMS conference. The following proposal is based on, and is
consistent with, the historical patterns observed in the first three ICMS events
(2002, 2006, 2010). The proposal is deliberately minimal and under-specified.
Therefore the interpretations should be guided by historical patterns.
Bylaw 1: Composition of Organizers
Each ICMS conference shall have the following organizational positions:
1. Advisory Board
2. General Chair
3. ProgramChair
4. Local Chair
5. Secretary
6. ProgramCommittee
7. Local Committee
Chair could also mean Co-chairs.
Bylaw 2: Appointments
1. The AdvisoryBoardshallconsistofthe GeneralChair,ProgramChair,and
Local Chair of the previous two conferences, and any other members that
theyshallappoint.TheGeneralChairofthelast-but-oneICMSshallserveas
the chair for the current Advisory Board.All appointments to the Advisory
Board last for two ICMS conferences.
2. The Advisory Board appoints the Secretary.
3. The Advisory Board appoints the General Chair for the next conference.
4. The General Chair, in consultation with the Advisory Board, appoints the
ProgramChair and Local Chair.
VIII Bylaws of ICMS
5. TheProgramChair,inconsultationwiththeGeneralChairandtheAdvisory
Board, appoints the ProgramCommittee members.
6. TheLocalChair,inconsultationwiththeGeneralChair,appointstheLocal
Committee members.
Bylaw 3: Duties
1. The Advisory BoardChair will hold an ICMS business meeting during each
conference.
2. The Secretary shall maintain a permanent ICMS website for past activities,
and also a list of names and emails of attendees of past ICMS conferences.
Bylaw 4: Amendments
1. The bylaws canbe amended by ballot, either at the ICMS business meeting
or by email.
2. Persons who have registered for at least one of the three preceding ICMS
conferences are eligible to vote.
Appendix: Remarks on the Bylaws
1. The bylaw is self-describedasminimal andunder-specified; both areviewed
as positive qualities. This appendix will comment on the bylaws using their
historical (non-binding) interpretations. It will also motivate the exclusion
of certain items in the bylaws.
2. Historically, ICMS was organized as a satellite of ICM. Like ICM, ICMS is
held every 4 years. But even in our short history, there was a break in this
patternin2010.Lookingforward,therearegoodargumentstohavebiennial
meetings (e.g., this is better for community building).
3. We do not specify the format of ICMS, believing it to be the prerogative
of the General Chair and the Program Chair to shape it to best serve the
community. Historically, the programhas centered around plenary speakers
and special sessions organized by experts in the area of interest.
4. The term “software” is a unique characteristic of ICMS that distinguishes
it from the allied areas mentioned in the bylaw. We are not only interested
in “paper algorithms” but in their implementation andin their softwareen-
vironment. We want to foster software development as a scientific activity,
to promote the publication of software-like paper publications, and to es-
tablish standards for such activities. Past ICMSs have had an important
component of software tutorial and demonstrations and distribution of free
software (e.g., Knoppix CD).
Bylaws of ICMS IX
5. The ICMS positions listed in the bylaw do not exclude additional positions:
the positions of a treasurer and a “documentation chair” for software have
been suggested.Butwe refrainfrommandating suchpositions inthe bylaw.
6. Termlimitforappointmentto ICMSposts isgenerallyagoodthing. Again,
we do not encode this into the bylaw, as we recognize many good reasons
to make exceptions. For example, a competent “document chair” should
probably be given a life appointment.
7. The idea of a permanent repository for ICMS is assumed in the bylaw.
Nobuki Takayama has a website that might be considered as the starting
point. The General Chair and Program Chair should each deposit a report
for the activities of their particular ICMS in this repository.
Organization
Executive Committee
General Chair
Chee Yap New York University, USA
Program Chair
Hoon Hong North Carolina State University, USA
Local Chair
Deok-Soo Kim Hanyang University, South Korea
Program Committee
Hirokazu Anai Kyushu University, Japan
Nikolaj Bjorner Microsoft Research
Jonathan Borwein University of Newcastle, Australia
Bruno Buchberger RISC Johannes Kepler University, Austria
Changbo Chen Chinese Academy of Sciences
Xiaoyu Chen Beihang University, China
Jin-San Cheng Chinese Academy of Sciences
Heiko Dietrich Monash University, Australia
Arie Gurfinkel Carnegie Mellon Software Engineering
Institute, USA
Jonathan Hauenstein North Carolina State University, USA
Hoon Hong (Chair) North Carolina State University, USA
Jeff Hooper Acadia University, Canada
Alexander Hulpke Colorado State University, USA
Andreas Iglesias University of Cantabria, Spain
Hidenao Iwane Fujitsu Laboratories
Michael Kerber MaxPlanckInstituteforInformatics,Germany
Jon-Lark Kim Sogang University, South Korea
Alexander Maletzky RISC Johannes Kepler University, Austria
David Monniaux Verimag, France
Antonio Montes Universitat Polit`ecnica de Catalunya, Spain
Marc Moreno Maza University of Western Ontario, Canada
Marco Pollanen Trent University, Canada
Yosuke Sato Tokyo University of Science, Japan
Vikram Sharma The Institute of Mathematical Sciences, India
Andrew Sommese University of Notre Dame, USA
Setsuo Takato Toho University, Japan