iRRAM-MPFR-MPC Developers Meeting
Dates: April 18 to 20, 2018
Location: Schloss Dagstuhl, Wadern, Germany,
official site
The goal of this meeting is to discuss future developments of the
iRRAM,
GNU MPFR
and
GNU MPC
libraries, following the previous meetings from
2011 in Paris,
2012 in Bordeaux,
2014 in Nancy,
and
2016 in Toulouse.
Schedule:
- April 18, 14:00: Norbert Müller, Introduction to Exact Real Arithmetic
- April 18, 14:35: Paul Zimmermann, Recent and future developments of GNU MPFR
- April 18, 15:00: Andreas Enge, Recent and future developments of GNU MPC
- April 18, 16:00: informal discussions and coding sprints
- April 19, 09:00: Sylvain Pion, The arithmetic toolbox in CGAL (video)
- April 19, 09:45: Nathalie Revol, MPFI and the IEEE 1788-2015 standard
- April 19, 11:00: informal discussions and coding sprints
- April 19, 13:30: James Paul Turner, Analysing and bounding error sources in numerical neural network simulations
- April 19, 14:00: informal discussions and coding sprints
- April 20, 09:00: Raphaël Rieu-Helft, How to Get an Efficient yet Verified Arbitrary-Precision Integer Library
- April 20, 09:45: Norbert Müller and Franz Brauße, Some Steps into Verification of Exact Real Arithmetic and CCL – an approach to verifiable multi-valued computations on R
- April 20, 11:00: informal discussions and coding sprints
- April 20, 14:00: informal discussions and coding sprints
Discussed topics:
- arbitrary exponent with MPFR (UBF): done
- dot product in MPFR and MPC: done in MPFR (revision 12633) and in MPC (commit 89a5a83), also added new function mpc_sum in MPC
- James' unstable model: James presented it on April 19
- complex balls for MPC
- Karatsuba multiplication in MPC: benchmarks needed
- hash function for MPFR
- proof of divide and conquer division in GMP
- corner case in GMP's toom22: analyzed by Raphael and Paul, feedback to the GMP developers
- exact dyadic arithmetic
- strategies to model iRRAM/MPFR in Why3
- update MPFR timings for release 4.0
Participants:
Franz Brauße
Andreas Enge
Vincent Lefèvre
Norbert Müller
Jianyang Pan
Sylvain Pion
Nathalie Revol
Raphael Rieu-Helft
James Paul Turner
Paul Zimmermann
Sponsors: Inria PRE ProvenMPFR