ZIB

ICMS 2016

The 5th International Congress on Mathematical Software
 
Over-all Program (download pdf-version here)

Over-all Program







Mon, July 11
Auditorium Room 2006 Room 3028 FU FU







9:00 – 9:25 Registration Registration
9:25 – 9:30 Opening Opening

9:30 – 10:30 Plenary Talk Jack Dongarra
10:30 – 11:00 Break Break
11:00 – 12:40 Parallel Sessions 2.1 11.1 5.1
12:40 – 14:00 Lunch Lunch
13:30 – 14:00 Registration Registration

14:00 – 15:40 Parallel Sessions 2.2 11.2 5.2
15:40 – 16:00 Break Break
16:00 – 17:40 Parallel Sessions 12.1 2.3 7.1 3.1 (FU-1)

17:40
END

18:00
Welcome Reception and Poster Session














Tue, July 12
Auditorium Room 2006 Room 3028 FU FU

9:00 – 10:00 Plenary Talk Stephen Watt
10:00 – 10:30 Break Break
10:30 – 12:10 Parallel Sessions 12.2 17.1 7.2 4.1 (FU-2)
12:10 – 13:30 Lunch Lunch
13:00 – 13:30 Registration Registration

13:30 – 14:20
Tutorial/Demo/Poster
14:20 – 16:00 Parallel Sessions 12.3 14.1 13.1
16:00 – 16:20 Break Break
16:20 – 18:00 Parallel Sessions 12.4 6.1 13.2 3.2 (FU-4) 16.1 (FU-3)

18:00
END














Wed, July 13
Auditorium Room 2006 Room 3028 FU FU

9:00 – 10:00 Plenary Talk Wolfram Decker
10:00 – 10:30 Break Break
10:30 – 12:10 Parallel Sessions 10.1 6.2 13.3
12:10 – 13:30 Lunch Lunch
13:00 – 13:30 Registration Registration

13:30 – 14:20
Tutorial/Demo/Poster
14:20 – 16:00 Parallel Sessions 1.1 14.2 8.1
16:00 – 16:20 Break Break
16:20 – 18:00 Parallel Sessions 1.2 4.2 8.2 16.2 (FU-5)

18:00
END



18:20
Bus transfer from ZIB to TV tower (Alexanderplatz)
19:30
Social Dinner














Thu, July 14
Auditorium Room 2006 Room 3028 FU FU

9:00 – 10:00 Plenary Talk Vladimir Voevodsky
10:00 – 10:30 Break Break
10:30 – 12:10 Parallel Sessions 1.3 9.1 17.2 16.3 (FU-4)
12:10 – 13:10 Lunch Lunch

13:10 – 14:50 Parallel Sessions 1.4 9.2 15.1
14:50 – 15:00 Break Break
15:00 – 16:15 Parallel Sessions 10.2 9.3 15.2

16:15
Closing







16:30
Excursion














Detailed Program







Plenary talks Auditorium







Mon 9:30-10:30 Jack Dongarra With Extreme Scale Computing the Rules Have Changed
Tue 9:00-10:00 Stephen M. Watt Toward an International Mathematical Knowledge Base
Wed 9:00-10:00 Wolfram Decker Current Challenges in the Development of Open Source


Computer Algebra Software
Thu 9:00-10:00 Vladimir Voevodsky UniMath - a library of mathematics formalized in the


univalent style














Session 1 Univalent Foundations and Proof Assistants







Session 1.1 Wednesday, July 13, 14:20-16:00, Auditorium
14:20-14:55 Marc Bezem A taxonomy of mathematical mistakes
14:55-15:30 Abhishek Anand Exploiting uniformity in substitution: the Nuprl term model
15:30-16:00 Vincent Rahli Exercising Nuprl's Open-Endedness







Session 1.2 Wednesday, July 13, 16:20-18:00, Auditorium
16:20-16:55 Thorsten Altenkirch A Cubical Type Theory
16:55-17:30 Mark Bickford A model of Cubical Type Theory in Nuprl
17:30-18:00 Anders Mortberg Cubical Type Theory



Session 1.3 Thursday, July 14, 10:30-12:10, Auditorium
10:30-11:05 Matthieu Sozeau Coq for Univalent Foundations
11:05-11:40 Benedikt Ahrens Inductive sets in UniMath
11:40-12:10 Jason Gross The HoTT/HoTT Library in Coq: Designing for Speed







Session 1.4 Thursday, July 14, 13:10-14:50, Auditorium
13:10-13:35 Guillaume Brunerie Custom definitional equalities in Agda
13:35-14:00 Catherine Lelay A construction of real numbers in UniMath
14:00-14:25 Floris van Doorn The Lean HoTT library
14:25-14:50 Jacob von Raumer Formalizing Double Groupoids and Cross Modules in the Lean


Theorem Prover














Session 2 Software for Mathematical Reasoning and Applications







Session 2.1 Monday, July 11, 11:00-12:40, Auditorium
11:00-11:05 Wolfgang Windsteiger Opening and General Structure of the Workshop
11:05-11:35 Christoph Benzmüller Automating Free Logic in HOL
11:35-12:05 Alexander Steen Agent-Based HOL Reasoning
12:10-12:40 Alexander Maletzky Interactive Proving, Higher-Order Rewriting, and


Theory Analysis in Theorema 2.0


Session 2.2 Monday, July 11, 14:00-15:40, Auditorium
14:00-14:30 Yang Zhang Automated Deduction in Ring Theory
14:35-15:05 Francisco Botana Automated discovery of elementary geometry theorems:


First steps
15:10-15:40 Alexei Lisitsa Efficient knot discrimination via quandle colouring with


SAT and #-SAT







Session 2.3 Monday, July 11, 16:00-17:40, Room 2006
16:00-16:30 Renaud Rioboo Certifying efficient polynomial implementations using the


FoCaLize system
16:35-17:05 Yuan Zhou Parameter space analysis for algebraic Python programs in


SageMath
17:10-17:40 Akira Terui An automated deduction and its implementation for solving


problem of sequence at university entrance examination









Session 3 Computational Number Theory meets computational Algebraic Geometry







Session 3.1 Monday, July 11, 16:00-17:40, FU-1: Room SR 031, Arnimallee 6
16:00-16-50 Andreas Steenpass Gröbner Bases over Algebraic Number Fields
16:50-17:40 Hans Schoenemann Extending Singular with new types and algorithms







Session 3.2 Tuesday, July 12, 16:20-18:00, FU-4: Room SR 032, Arnimallee 6
16:20-17:10 Janko Boehm Modular Methods in Computational Algebraic Geometry
17:10-18:00 Anne Fruehbis-Krueger Algorithmic resolution of singularities














Session 4 Algebraic Geometry in Applications







Session 4.1 Tuesday, July 12, 10:30-12:10, FU-2: Room SR 025/026, Arnimallee 6
10:30-11:05 Fatemeh Mohammadi Combinatorial and geometric view of the system reliability


theory
11:05-11:40 Laurent Evain Calibration of accelerometers and the geometry of quadrics
11:40-12:10 Jonathan Hauenstein Decomposing solution sets of polynomial systems using


derivatives







Session 4.2 Wednesday, July 13, 16:20-18:00, Room 2006
16:20-16:55 Tomas Pajdla Computational Algebraic Geometry in 3D Computer Vision
16:55-17:30 Viktor Levandovskyy A commutative approach to the Bernstein data of a


hypersurface
17:30-1800 Thomas Kahle Semi-algebraic geometry of Poisson regression














Session 5 Computational aspects of homological algebra, group, and representation theory







Session 5.1 Monday, July 11, 11:00-12:40, Room 3028
11:00-11:50 David Green Group cohomology and efficient methods for group algebras


of large p-groups
11:50-12:40 Caroline Lassueur Endo-p-permutation modules: a computational approach via


character theory



Session 5.2 Monday, July 11, 14:00-15:40, Room 3028
14:00-14:40 Sebastian Posur Constructing morphisms by diagram chases
14:50-15:40 Øyvind Solberg Test for infinite projective dimension














Session 6 Software of Polynomial Systems







Session 6.1 Tuesday, July 12, 16:20-18:00, Room 2006
16:20-16:45 Davenport, England Need Polynomial Systems be Doubly-exponential?
16:45-17:10 Bigatti, Abbott, Robbiano New, Practical Algorithms for Implicitization of Hypersurfaces
17:10-17:35 John Abbott Fault-Tolerant Rational Reconstruction Applied to Implicitization


of Hypersurfaces
17:35-18:00 Yinping Liu, Ruoxia Yao, NDEmathema: An Innovative Web-based Automated Symbolic

Zhibin Li, Le Yang, Computing Platform for Nonlinear Differential Equations

Xiaoyan Tang







Session 6.2 Wednesday, July 13, 10:30-12:10, Room 2006
10:30-10:55 Eder, Faugere GBLA - A Groebner Basis Linear Algebra Package
10:55-11:20 Fukasaku, Iwane, Sato On the Implementation of CGS Real QE
11:20-11:45 Wang, Mou, Dong Epsilon 1: A Software Library for Triangular Decomposition
11:45-12:10 Heinz Kredel Common Divisors of Solvable Polynomials in JAS














Session 7 Software for the Symbolic Study of Functional Equations







Session 7.1 Monday, July 11, 16:00-17:40, Room 3028
16:00-16:30 Suzy Maddah Overview talk
16:35-17:05 Thomas Cluzeau Algorithms and related Maple packages for integrable


connections and planar polynomial vector fields
17:10-17:40 Jamal Hossein Poor Normal forms for operators via Gröbner bases in tensor


algebras







Session 7.2 Tuesday, July 12, 10:30-12:10, Room 3028
10:30-11:00 Albert Heinle Factoring Elements in G-Algebras with 'ncfactor.lib'
11:05-11:35 Viktor Levandovskyy Algorithms for systems of linear functional equations and their


implementation in Singular
11:40-12:10 Cluzeau, Koutschan Effective algebraic analysis approach to linear systems over


Ore algebras






Session 8 Symbolic Integration







Session 8.1 Wednesday, July 13, 14:20-16:00, Room 3028
14:20-14:30 Christoph Koutschan Session Opening and Overview
14:30-15:00 Clemens G. Raab Computer algebra tools for integrals
15:00-15:30 Roche, May A Discussion of the Practical Issues of Computing Integrals


in Maple
15:30-16:00 Jeffrey, Rich Recent Developments in the RUBI Integration Project



Session 8.2 Wednesday, July 13, 16:20-18:00, Room 3028
16:20-16:50 James H. Davenport Complexity of Integration, Special Values, and Recent


Developments
16:50-17:20 Waldek Hebisch Integration in terms of exponential integrals and incomplete


gamma functions
17:20-18:00 Lin Jiu The Method of Brackets














Session 9 Symbolic computation and elementary particle physics







Session 9.1 Thursday, July 14, 10:30-12:10, Room 2006
10:30-11:00 Johannes Blümlein The mathematical function spaces of higher loop Feynman


integrals
11:05-11:35 Andreas v. Manteuffel Reducing Feynman integrals with finite fields
11:40-12:10 Abilio De Freitas Three-loop heavy flavor corrections to DIS structure functions



Session 9.2 Thursday, July 14, 13.10-14:50, Room 2006
13:10-13:40 Stefan Weinzierl Algorithms for all-order expansions
13:40-14:10 Mark Round Summation techniques for Feynman diagrams via special


functions
14:10-14:50 Erik Panzer Conical sums and multiple polylogarithms







Session 9.3 Thursday, July 14, 15:00-16:15, Room 2006
15:00-15:30 Dirk Kreimer Motivating computational practice
15:30-16:00 Christian Bogner MPL - a program for computations with multiple polylogarithms
16:00-16:15 Carsten Schneider Symbolic summation packages for elementary particle physics














Session 10 Software for numerically solving polynomial systems







Session 10.1 Wednesday, July 13, 10:30-12:10, Auditorium
10:30-11:00 Hans Schoenemann Primary decomposition in Singular
11:05-11:35 Anders Jensen An implementation of exact mixed volume computation
11:40-12:10 Miguel Marco SIROCCO: a library for certified polynomial root continuation



Session 10.2 Thursday, July 14, 15:00-16:15, Auditorium
15:00-15:30 Daniel Brake Numerically decomposing complex and real tropical curves in


any number of dimensions
15:40-16:10 Bernard Mourrain Border basis for polynomial system solving and optimization










Session 11 High-precision arithmetic, effective analysis and special functions







Session 11.1 Monday, July 11, 11:00-12:40, Room 2006
11:00-11:10 Fredrik Johansson Special functions and interval arithmetic
11:10-11:40 Navas-Palencia, Arratia On the computation of confluent hypergeometric functions


for large imaginary part of b and z
11:40-12:10 Marc Mezzarobba Rigorous Multiple-Precision Evaluation of D-Finite Functions


in Sage
12:10-12:40 Pascal Molin L functions in Pari/GP







Session 11.2 Monday, July 11, 14:00-15:40, Room 2006
14:00-14:25 Elias Tsigaridas Real root isolation in FLINT
14:25-14:50 Breust, Chabot, Dumas, Recursive double-size fixed precision arithmetic

Fousse, Giorgi
14:50-15:15 Joldes, Muller, Popescu, CAMPARY: Cuda Multiple Precision Arithmetic Library

Tucker and Applications
15:15-15:40 Rodriguez, Abad, Barrio, Automatic implementation of the numerical Taylor series

Marco-Buzunariz method














Session 12 Mathematical Optimization







Session 12.1 Monday, July 11, 16:00-17:40, Auditorium
16:00-16:20 Horand I. Gassmann Recent developments in Optimization Services (OS)
16:20-16:40 Mike Steglich CMPL (<Coliop|Coi> Mathematical Programming Language)
16:40-17:00 Matthias Miltenberger PySCIPOpt: Mathematical Programming in Python with the


SCIP Optimization Suite
17:00-17:20 Shahadat Hossain DSJM: A Software Toolkit for Direct Determination of Sparse


Jacobian Matrices
17:20-17:40 Andrew Mason SolverStudio and OpenSolver: Excel Tools for Bringing


Advanced Optimisation to the Masses







Session 12.2 Tuesday, July 12, 10:30-12:10, Auditorium
10:30-10:50 J.A. Julian Hall Parallel distributed-memory simplex for large-scale stochastic


LP problems
10:50-11:10 Timo Berthold Parallelization of the FICO Xpress Optimizer
11:10-11:30 Yuji Shinano A First Implementation of ParaXpress: Combining Internal and


External Parallelization on Supercomputers
11:30-11:50 Nowak, Breitfeld pyADCG: A preliminary implementation of a new parallel solver


for nonconvex MINLPs in Pyomo/Python
11:50-12:10 Katsuki Fujisawa Advanced Computing&Optimization Infrastructure for Extremely


Large-Scale Graphs on Post Peta-Scale Supercomputers



Session 12.3 Tuesday, July 12, 14:20-16:00, Auditorium
14:20-14:40 Keiji Kimura Mixed Integer Nonlinear Programming for Minimization of


Akaike's Information Criterion
14:40-15:00 Tristan Gally SCIP-SDP: A Framework for Solving Mixed-Integer


Semidefinite Programs
15:00-15:20 Angelika Wiegele Improving BiqMac: stronger semidefinite relaxations for solving


binary quadratic problems
15:20-15:40 Matthias Köppe Software for cut generating functions in the Gomory-Johnson


model and beyond
15:40-16:00 Sebastian Schenker PolySCIP, a solver for multi-objective MIPs







Session 12.4 Tuesday, July 12, 16:20-18:00, Auditorium
16:20-16:40 Adolfo R. Escobedo Efficient Validation of Basic Solutions via the


Roundoff-Error-Free Factorization Framework
16:40-17:00 Tobias Weber High-Precision Quadratic Programming by Iterative Refinement
17:00-17:20 Andreas Meyer Global error control for Optimal Control problems
17:20-17:40 Rafael Arndt On Solution Algorithms for Time-Dependent Quasi-Variational


Inequalities with Gradient Constraints
17:40-18:00 Felix Lenders Solving the Trust-Region Subproblem using Krylov subspace


methods














Session 13 Interactive operation to scientific artwork and mathematical reasoning







Session 13.1 Tuesday, July 12, 14:20-16:00, Room 3028
14:20-15:00 S. Takato What is and How to use KeTCindy –- Linkage between Dynamic


Geometry Software and TeX graphics capabilities
15:00-15:20 S. Yamashita The Programming Style for Drawings from KeTpic to KeTCindy
15:20-15:40 S. Kobayashi, S. Takato Cooperation of KeTCindy and Computer Algebra System
15:40-16:00 H. Usui How to generate figures at the preferred position of a TeX


document







Session 13.2 Tuesday, July 12, 16:20-18:00, Room 3028
16:20-16:45 N. Hamaguchi, S. Takato Generating data for 3D models
16:45-17:10 H. Sarafian Theoretical Physics, Applied Mathematics and Visualizations
17:10-17:35 Y. Nakamura, T. Nakahara Function Enhancement of Math Input Environment with


Flick Operation for Mobile Devices
17:35-18:00 F. Iwama, T. Takahashi A Framework for Exploring Inference Processes using


Reasoning Software



Session 13.3 Wednesday, July 13, 10:30-12:10, Room 3028
10:30-10:55 von Gagern, Kortenkamp, CindyJS --- Mathematical visualization on modern devices

Richter-Gebert, Strobel
10:55-11:20 von Gagern, CindyJS Plugins --- Extending the mathematical visualization

Richter-Gebert framework
11:20-11:45 Montag, Richter-Gebert CindyGL: Authoring GPU-based interactive mathematical


content
11:45-12:10 Kaneko The actual use of KeTCindy in education














Session 14 Information services for mathematics: software, services, models, and data







Session 14.1 Tuesday, July 12, 14:20-16:00, Room 2006
14.20 -14.40 Wolfram Sperber Information services for mathematical research data
14.40 -15-00 Yue Ren The software portal swMATH: a state of the art report and next


steps
15.00 -15.30 Mila Runnwerth Linking Mathematical Software in Web Archive
15.30 -16.00 Michael Joswig The polymake XML file format







Session 14.2 Wednesday, July 13, 14:20-16:00, Room 2006
14.20-15.00 Michael Kohlhase Distributed Computing via the Math-in-the-Middle Paradigm


in OpenDreamKit
15.00-15.30 Hans-Gert Gräbe Semantic-aware Fingerprints of symbolic research data
15:30-16:00 Karsten Tabelow Mathematical models: a research data category?










Session 15 Towards a Semantic Layer of a World Digital Mathematical Library







Session 15.1 Thursday, July 14, 13:10-14:50, Room 3028
13:10-13:35 Patrick D. F. Ion The Effort to Realize a Global Digital Mathematics Library
13:35-14:00 Bruno Buchberger The GDML and EuKIM Projects: Short Report on the Initiative
14:00-14:25 Mila Runnwerth Mathematical videos and affiliated supplementaries in TIB's AV Portal
14:25-14:50 Chebukov, Izaak, Misyurina, Math-Net.Ru Video Library: creating a collection of

Pupyrev scientific talks







Session 15.2 Thursday, July 14, 15:00-16:15, Room 3028
15:00-15:25 Bruno Buchberger Stam's Identities Collection: A Case Study for Math Knowledge Bases
15:25-15:50 Enxhell Luzhnica, Formula Semantification and Automated Relation Finding in the

Michael Kohlhase Open Encyclopedia for Integer Sequences
15:50-16:15 Ginev, Iancu, Jucovshi, The SMGloM Project and System

A. Kohlhase, M. Kohlhase,

Schefter, Sperber, Teschke














Session 16 Polyhedral methods in geometry and optimization







Session 16.1 Tuesday, July 12, 16:20-18:00, FU-3: Room 046, Takustraße 9
16:20-16:50 Anders N. Jensen, Yue Ren Tropical dimension bounds for monomial-free ideals
16:55-17:25 Simon Hampe Tropical computations in polymake
17:30-18:00 Benjamin Burton Multiobjective integer linear programming by tropical convexity







Session 16.2 Wednesday, July 13, 16:20-18:00, FU-5: Room SR 005, Takustraße 9
16:20-16:45 Lars Kastner Toric geometry in polymake
16:45-17:10 Bastrakov, Zolotykh qskeleton: parallel polyhedral computing software based on the


double description method and Fourier-Motzkin elimination
17:10-17:35 Matthias Köppe Sage flavored LattE integrale
17:35-18:00 Max Demenkov Linear programming using line and zonotope intersection







Session 16.3 Thursday, July 14, 10:30-12:10, FU-4: Room SR 032, Arnimallee 6
10:30-11:00 Kaibel, Walter Investigating Polyhedra by Oracles
11:05-11:35 Hojny, Pfetsch Symmetry Handling in Binary Programs via Polyhedral Methods
11:40-12:10 Bruns, Söger, Sieg The subdivision of large simplicial cones in Normaliz














Session 17 General







Session 17.1 Tuesday, July 12, 10:30-12:10, Room 2006
10:30-10:55 Antoine Plet et al. A Library for Symbolic Floating-Point Arithmetic
10::55-11:20 Joerg Fehr et al. A Guide for Good Scientific Practice in Numerical Experiments
11:20-11:45 Mokwon Lee et al. Robust construction of the additively-weighted Voronoi diagram via


topology-oriented incremental algorithm
11:45-12:10 Laurent Evain The Pycao Software (handling 3D objects…)







Session 17.2 Thursday, July 14, 10:30-12:10, Room 3028
10:30-10:55 Yuri M. Movsisyan Bilattices of bi-De Morgan Functions
10::55-11:20 Luigi Di Puglia Pugliese An algorithm to find the Link Constrained Steiner Tree in


Undirected Graph
11:20-11:45 Bahram Alidaee Meta-Heuristic for Large-Scale Unrelated Parallel Machine Scheduling
11:45-12:10 Joris van der Hoeven Mathematical Font Art














Session 18 Tutorials







Session 18.1 Tuesday, July 12, 13:30-14:15, Auditorium
13:30-14:15 Anna Maria Bigatti CoCoALib and CoCoA-5







Session 18.2 Wednesday, July 13, 13:30-14:15, Auditorium
13:30-14:15 Sebastian Gutsche Docker images for mathematical software














Session 19 Demos







Session 19.1 Tuesday, July 12, 13:30-14:20, Room 2006
13:30-13:55 Joris van der Hoeven GNU TeXmacs
13:55-14:20 Simon Hampe Polymake 3.0







Session 19.2 Wednesday, July 13, 13:30-14:20, Room 2006
13:30-13:55 A. John, A.-M.Bigatti CoCoALib and CoCoA-5
13:55-14:20 Hisashi Usui KeTCindy














Session 20 Posters







Session 20.1 Monday, July 11, 18:00, Foyer







Session 20.1 Tuesday, July 12, 13:30-14:15, Foyer
13:45-14:15 Abraham, Abbott, et. all. Satisfiability Checking and Symbolic Computation
13:45-14:15 Benzmüller, The Inconsistency in Gödel’s Ontological Argument:

Woltzenlogel Paleo A Success Story for Automated Theorem Proving in Metaphysics
13:45-14:15 Anna Maria Bigatti CoCoALib and CoCoA-5
13:45-14:15 Max Demenkov Zonotopes and explicit linear programming







Session 20.1 Wednesday, July 13, 13:30-14:15, Foyer
13:45-14:15 Abraham, Abbott, et. all. Satisfiability Checking and Symbolic Computation
13:45-14:15 Benzmüller, The Inconsistency in Gödel’s Ontological Argument:

Woltzenlogel Paleo A Success Story for Automated Theorem Proving in Metaphysics
13:45-14:15 Anna Maria Bigatti CoCoALib and CoCoA-5
13:45-14:15 Max Demenkov Zonotopes and explicit linear programming