Challenges in 21st Century Experimental Mathematical Computation (July 21-25, 2014)
Organizing Committee
David H. Bailey
(Lawrence Berkeley Lab and UC Davis)
Jonathan Borwein (University of Newcastle, Australia)
Olga Caprotti (University of Helsinki, Finland)
Ursula Martin (Queen Mary College)
Michela Taufer (University of Delaware)
Bruno Salvy (INRIA, France)
[Image Credit: D. Bailey and J. Borwein]
Description
Over the past 25 years, experimental mathematics has developed as
an important additional arrow in the mathematical quiver. Many mathematical scientists now use powerful
symbolic, numeric and graphic (sometimes abbreviated "SNAG") computing environments in their research, in
a remarkable departure from tradition. While these tools collectively are
quite effective, challenges remain in numerous areas, including: (a) rapid,
high-precision computation of special functions and their derivatives; (b)
user-customizable symbolic computing; (c) graphical computing; (d) data-intensive
computing; and (e) large-scale computing on parallel and GPU
architectures (including algorithm and software design for such systems).
This workshop will convene mathematical and computer scientists who
create or exploit these tools, together with computational tool developers
and commercial vendors of mathematical software, to exchange approaches
and extend the state of the art in the field, both in the design of software
and in the usage of this software for serious mathematical research.
Speaker and Participant List (* = Speaker)
Dorian Arnold* (University of New Mexico)
David Bailey * (Lawrence Berkeley National Laboratory)
Michela Becchi (University of Missouri)
Abdessamad Ben Hamza (Concordia University)
Amber Boehnlein* (Stanford University)
Folkmar Bornemann* (TU München)
Jonathan Borwein * (University of Newcastle)
Alin Bostan* (INRIA )
Brian Brennan (Baylor University)
Neil Calkin * (Clemson University)
Wei-Fan Chiang (University of Utah)
Howard Cohl * (National Institute of Standards and Technology)
Robert Corless (The University of Western Ontario)
Silvia Crivelli* (University of California, Davis)
Clint Dawson* (University of Texas at Austin)
Elise Dedoncker* (Western Michigan University)
Diego Dominici * (SUNY at New Paltz)
Ali Eshragh * (University of Newcastle)
Cyndi Garvan (University of Florida)
Frank Garvan* (University of Florida)
Venu Gopal (Brown University)
Ganesh Gopalakrishnan * (University of Utah)
Lindley Graham (University of Texas at Austin)
Matt Knepley * (University of Chicago)
Sherry Li* (Lawrence Berkeley National Laboratory)
Steve Linton (University of St. Andrews)
Dan Lozier* (National Institute of Standards and Technology)
Ursula Martin * (University of Oxford)
Michael Mossinghoff * (Davidson College)
Chunjae Park (Konkuk university)
Veronika Pillwein * (Johannes Kepler Universität Linz)
Schedule and Supporting Materials
Monday July 21, 2014 Time Description Speaker Location Abstracts Slides 8:30 - 8:55 Registration 11th Floor Collaborative Space 8:55 - 9:00 Welcome ICERM Director 11th Floor Lecture Hall 9:00 - 10:00 Experimental Computation and Visual Theorems Jonathan Borwein, CARMA, University of Newcastle 11th Floor Lecture Hall 10:00 - 10:15 Coffee/Tea Break 11th Floor Collaborative Space 10:15 - 10:50 Some Experimentation in Counting Questions Neil Calkin, Clemson University 11th Floor Lecture Hall 11:00 - 11:40 The numerical reproducibility fair trade: Facing concurrency challenges at extreme scale Michela Taufer, University of Delaware 11th Floor Lecture Hall 11:50 - 12:30 Reliable computing in geometry processing and CAGD Konrad Polthier, Freie Universität Berlin 11th Floor Lecture Hall 12:30 - 1:45 Break for Lunch 1:45 - 2:25 Computational challenges for experimental mathematics David H. Bailey, Lawrence Berkeley National Laboratory and UC Davis 11th Floor Lecture Hall 2:35 - 3:15 Reliable numerical evaluation of special functions- algorithms and experiments Bruno Salvy, INRIA 11th Floor Lecture Hall 3:15 - 3:30 Coffee/Tea Break 11th Floor Collaborative Space 3:30 - 4:15 Outgrowths of the Digital Library of Mathematical Functions Project Howard Cohl and Daniel Lozier, National Institute of Standards and Technology 11th Floor Lecture Hall 4:15 - 5:00 TBA TBA 5:00 - 6:30 Welcome Reception 11th Floor Collaborative Space
Tuesday July 22, 2014 Time Description Speaker Location Abstracts Slides 8:55 - 9:00 Intro to numerical computing for experimental math David H. Bailey, Lawrence Berkeley National Laboratory and UC Davis 11th Floor Lecture Hall 9:00 - 9:40 Numerical reproducibility of high-performance computations using floating-point or interval arithmetic Nathalie Revol, INRIA 11th Floor Lecture Hall 9:50 - 10:30 Nonlinear Preconditioning for the Parallel Solution of Systems Algebraic Equations Matt Knepley, University of Chicago 11th Floor Lecture Hall 10:30 - 10:45 Coffee/Tea Break 11th Floor Collaborative Space 10:45 - 11:25 Bugs- Black Ice on the Road to Exascale Ganesh Gopalakrishnan and Alexey Solovyev, University of Utah 11th Floor Lecture Hall 11:35 - 12:15 Very Special Functions: Numerical Explorations of Random Matrix Distributions Folkmar Bornemann, TU München 11th Floor Lecture Hall 12:15 - 1:45 Break for Lunch 1:45 - 2:25 Apery numbers and their experimental siblings Armin Straub, University of Illinois at Urbana-Champaign 11th Floor Lecture Hall 2:35 - 3:15 Toward HPC Runtimes that Self-adapt to your Math Dorian Arnold, University of New Mexico 11th Floor Lecture Hall 3:15 - 3:30 Coffee/Tea Break 11th Floor Collaborative Space 3:30 - 4:10 Large-scale, data-intensive physics computing Amber Boehnlein, Stanford University 11th Floor Lecture Hall 4:20 - 5:00 Computational and analytics challenges in biology Silvia Crivelli, University of California, Davis 11th Floor Lecture Hall
Wednesday July 23, 2014 Time Description Speaker Location Abstracts Slides 8:55 - 9:00 Intro to symbolic computing for experimental math Bruno Salvy, INRIA 11th Floor Lecture Hall 9:00 - 9:40 Approximating the Fisher Information for a Partially-Observable Growing Population Ali Eshragh, CARMA, University of Newcastle 11th Floor Lecture Hall 9:50 - 10:30 Mathematical practice, crowdsourcing, and social machines Ursula Martin, University of Oxford 11th Floor Lecture Hall 10:30 - 10:45 Coffee/Tea Break 11th Floor Collaborative Space 10:45 - 11:25 Congruences and relations for the Fishburn numbers Frank Garvan, University of Florida 11th Floor Lecture Hall 11:30 - 12:15 Moments of zeta functions associated to hyper-elliptic curves over finite fields Michael Rubinstein, University of Waterloo 11th Floor Lecture Hall 12:15 - 12:25 Group Photo 11th Floor Lecture Hall 12:25 - 1:45 Break for Lunch 1:45 - 2:25 Efficient Experimental Mathematics for Lattice Path Combinatorics Alin Bostan, SpecFun, INRIA Saclay 11th Floor Lecture Hall 2:35 - 3:15 Symbolic local Fourier analysis Veronika Pillwein, Johannes Kepler Universität Linz 11th Floor Lecture Hall 3:15 - 3:30 Coffee/Tea Break 11th Floor Collaborative Space 3:30 - 4:10 Visualizing Projection Algorithms with Application to Protein Reconstruction Matthew K. Tam, University of Newcastle 11th Floor Lecture Hall 4:20 - 5:00 Operator Orderings: from sequences to polynomials Christophe Vignat, Tulane University 11th Floor Lecture Hall 7:00 - 8:30 Poster Session and Dessert Reception 11th Floor Lecture Hall
Thursday July 24, 2014 Time Description Speaker Location Abstracts Slides 8:55 - 9:00 Intro to connections between symbolic and numerical math Ursula Martin, University of Oxford 11th Floor Lecture Hall 9:00 - 9:40 Sparse factorizations- Towards optimal complexity and resilience at exascale Xiaoye S. Li, Lawrence Berkeley National Laboratory 11th Floor Lecture Hall 9:50 - 10:30 Computational challenges arising from the theory of Orthogonal Polynomials Diego Dominici, SUNY at New Paltz 11th Floor Lecture Hall 10:30 - 10:45 Coffee/Tea Break 11th Floor Collaborative Space 10:45 - 11:25 Parallel Paradigms for Experimental Mathematics Elise DeDoncker, Western Michigan University 11th Floor Lecture Hall 11:35 - 12:15 Challenges and Successes in Coastal Ocean Modeling Clint Dawson, University of Texas at Austin 11th Floor Lecture Hall 12:15 - 1:45 Break for Lunch 1:45 - 2:25 Equality of Dedekind sums: experimental data, and theory Sinai Robins, Nanyang Technological University and ICERM 11th Floor Lecture Hall 2:35 - 3:15 Polynomials, number theory, and experimental mathematics Michael Mossinghoff, Davidson College and ICERM 11th Floor Lecture Hall 3:15 - 3:30 Please take a moment to complete the survey that was distributed by email. 3:30 - 3:45 Coffee/Tea Break 11th Floor Collaborative Space 3:45 - 4:30 TBA TBA 4:30 - 5:00 Discussion: What have we learned; organize groups David H. Bailey, Lawrence Berkeley National Laboratory and UC Davis or Jonathan Borwein, CARMA, University of Newcastle 11th Floor Lecture Hall
Friday July 25, 2014 Time Description Speaker Location Abstracts Slides 9:00 - 10:15 Group meetings All 10:15 - 10:30 Coffee/Tea Break 11th Floor Lecture Hall 10:30 - 11:00 Report from Group #1 Group #1 leader 11th Floor Lecture Hall 11:00 - 11:30 Report from Group #2 Group #2 leader 11th Floor Lecture Hall 11:30 - 12:00 Report from Group #3 Group #3 leader 11th Floor Lecture Hall 12:00 - 12:30 Construct outline for report All; led by David H. Bailey, Lawrence Berkeley National Laboratory and UC Davis 11th Floor Lecture Hall 12:30 - 2:00 Break for Lunch 2:00 - 3:15 Draft workshop report Group leaders and organizers 3:15 - 3:30 Coffee/Tea Break 11th Floor Collaborative Space 3:30 - 4:00 Draft workshop report Group leaders and organizers
Workshop Organizer's Report