Photo: ©KOBE CONVENTION & VISITORS ASSOCIATION
ISSAC 2014 Program
| Centennial Hall | Takigawa memorial Hall | |
|---|---|---|
| July 21 | CAS Workshops | |
| 12:30- | registration desk open | |
| 13:00-17:00 | Mathematica Workshop | Maple Workshop |
| Centennial Hall | Takigawa memorial Hall | |
|---|---|---|
| July 22 | Extended Tutorials | |
| 8:30- | registration desk open | |
| 9:00-11:10 | Lihong Zhi Symbolic-numeric algorithms for computing validated results | Mitsushi Fujimoto How to develop a mobile computer algebra system |
| 11:10-12:45 | lunch break | |
| 12:45-14:55 | Francois Le Gall Algebraic Complexity Theory and Matrix Multiplication | Hirokazu Anai Effective quantifier elimination for industrial applications |
| 14:55-15:15 | coffee break | |
| 15:15-17:25 | Hidefumi Ohsugi Gröbner bases of toric ideals and their application | Hiroyuki Goto An introduction to max-plus algebra |
| 17:45-19:45 | Welcome Reception (Takigawa memorial Hall) | |
| Centennial Hall | Takigawa memorial Hall | ||||||
|---|---|---|---|---|---|---|---|
| July 23 | ISSAC 2014 | ||||||
| 8:15- | registration desk open | ||||||
| 8:45-9:00 | opening remarks | ||||||
| 9:00-10:00 | Invited Talk: Noriko Arai Mathematics by Machine | ||||||
| 10:00-10:20 | coffee break | ||||||
| 10:20-11:35 | CAD Chair: Lihong Zhi | Fast Multiplication Chair: Erich Kaltofen | |||||
| Jingjun Han, Liyun Dai and Bican Xia. Constructing Fewer Open Cells by GCD Computation in CAD Projection |
Francois Le Gall. Powers of Tensors and Fast Matrix Multiplication | ||||||
| Changbo Chen and Marc Moreno Maza. Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains | Joris van der Hoeven. Faster relaxed multiplication | ||||||
| Adam Strzeboński. Cylindrical Algebraic Decomposition Using Local Projections | Lingchuan Meng and Jeremy Johnson. High Performance Implementation of the TFT | ||||||
| 11:35-11:55 | coffee break | ||||||
| 11:55-12:45 | CAD and Newton Iteration Chair: Agnes Szanto | Sparse Polynomials Chair: Mohab Safey El Din | |||||
| Madalina Erascu and Hoon Hong. Synthesis of Optimal Numerical Algorithms using Real Quantifier Elimination (Case Study: Square Root Computation) | Michael Sagraloff. A Near-Optimal Algorithm for Computing Real Roots of Sparse Polynomials | ||||||
| Jonathan D. Hauenstein, Ian Haywood and Alan Liddell. An a posteriori certification algorithm for Newton homotopies | Bruno Grenet. Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach | ||||||
| 12:45-14:20 | lunch break | ||||||
| 14:20-15:35 | Software Exhibits & Poster Sessions | ||||||
| |||||||
| 15:35-15:55 | coffee break | ||||||
| 15:55-17:10 | Telescoping Chair: Joris van der Hoeven | Geometry, Topology Chair: Yosuke Sato | |||||
| Shaoshi Chen, Ruyong Feng, Ziming Li and Michael F. Singer. Parallel Telescoping and Parameterized Picard--Vessiot Theory | Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget and Fabrice Rouillier. Improved algorithm for computing separating linear forms for bivariate systems | ||||||
| Shaoshi Chen, Manuel Kauers and Christoph Koutschan. A Generalized Apagodu-Zeilberger Algorithm | Daouda Niang Diatta, Fabrice Rouillier and Marie-Françoise Roy. On the computation of the topology of plane curves | ||||||
| Manuel Kauers. Bounds for D-Finite Closure Properties | David Sevilla, J Rafael Sendra and Carlos Villarino. Covering of surfaces parametrized without projective base points | ||||||
| 17:10-17:20 | snack break | ||||||
| 17:20-17:50 | Meeting 1 (SIGSAM) | snack break | ||||||
| 17:50-18:50 | Meeting 2 (ISSAC) | ||||||
| Centennial Hall | Takigawa memorial Hall | ||||||
|---|---|---|---|---|---|---|---|
| July 24 | ISSAC 2014 | ||||||
| 8:30- | registration desk open | ||||||
| 9:00-10:00 | Invited Talk: David Stoutemyer Fuzzy simplification of non-numeric expressions containing some numeric intervals and/or floating point numbers | ||||||
| 10:00-10:20 | coffee break | ||||||
| 10:20-11:35 | Sparse Interpolation I. Chair: Mark Giesbrecht | Multivariate Polynomial Systems I. Chair: Franz Winkler | |||||
| Markus Bläser and Gorav Jindal. A New Deterministic Algorithm for Sparse Multivariate Polynomial Interpolation | Tristan Vaccon. Matrix-F5 algorithms over finite-precision complete discrete valuation fields | ||||||
| Erich Kaltofen and Clément Pernet. Sparse Polynomial Interpolation Codes and Their Decoding Beyond Half the Minimal Distance | Jean-Charles Faugère, Pierre-Jean Spaenlehauer and Jules Svartz. Sparse Gröbner Bases: The Unmixed Case | ||||||
| Erich Kaltofen and Zhengfeng Yang. Sparse Multivariate Function Recovery With a High Error Rate in the Evaluations | Jean-Charles Faugère, Pierrick Gaudry, Louise Huot and Guénaël Renault. Sub-Cubic Change of Ordering for Gröbner Basis. A Probabilistic Approach. | ||||||
| 11:35-11:55 | coffee break | ||||||
| 11:55-12:45 | Sparse Interpolation II. Chair: Wen-shin Lee | Univariate Polynomials Chair: David Jeffrey | |||||
| Andrew Arnold, Mark Giesbrecht and Daniel Roche. Sparse interpolation over finite fields via low-order roots of unity | Konstantin Ziegler. Tame decompositions and collisions | ||||||
| Andrew Arnold and Daniel S. Roche. Multivariate sparse interpolation using randomized Kronecker substitutions | Oscar Garcia-Morchon, Domingo Gomez-Perez, Jaime Gutierrez, Ronald Rietman and Ludo Tolhuizen. The MMO problem | ||||||
| 12:45-14:20 | lunch break | ||||||
| 14:20-15:35 | Partner talks & Poster Sessions | ||||||
| |||||||
| 15:35-15:55 | coffee break | ||||||
| 15:55-17:10 | Differential algebra, Chair: Shaoshi Chen | Multivariate Polynomial Systems II. Chair: Jean-Charles Faugère | |||||
| Carlos Arreche. Computing the differential Galois group of a parameterized second-order linear differential equation | Ioannis Emiris and Raimundas Vidunas. Root counts of semi-mixed systems, and an application to counting Nash equilibria | ||||||
| Alin Bostan, Thierry Combot and Mohab Safey El Din. Computing necessary integrability conditions for planar parametrized homogeneous potentials | Bernard Mourrain and Philippe Trebuchet. Toric Border Basis | ||||||
| Alin Bostan, Xavier Caruso and Éric Schost. A fast algorithm for computing the characteristic polynomial of the p-curvature | Manfred Minimair. Randomized Detection of Extraneous Factors | ||||||
| 17:25-18:15 | Bus for Banquet (17:45 departure) | ||||||
| 18:30-21:00 | Banquet | ||||||
| 21:00- | walk for the nearest station (5 min.) | ||||||
| Centennial Hall | Takigawa memorial Hall | |
|---|---|---|
| July 25 | ISSAC 2014 | |
| 8:30- | registration desk open | |
| 9:00-10:00 | Invited Talk: B. Sturmfels Maximum Likelihood for Matrices with Rank Constraints | |
| 10:00-10:20 | coffee break | |
| 10:20-11:35 | Solution of Differential Equations Chair: James Davenport | Applicable Algebra Chair: Luke Oeding |
| Georg Grasegger. Radical Solutions of Algebraic Ordinary Differential Equations | Jonathan Kausch and Volker Diekert. Logspace computations in graph products | |
| Suzy Maddah, Moulay Barkatou and Hassan Abbas. On the Reduction of Singularly-Perturbed Linear Differential Systems | Elizabeth Gross and Jose Rodriguez. Maximum likelihood geometry in the presence of data zeros | |
| Suzy Maddah, Moulay Barkatou and Hassan Abbas. Formal Solutions of a Class of Pfaffian Systems in Two Variables | Thomas Kahle, Robert Krone and Anton Leykin. Equivariant lattice generators and Markov bases | |
| 11:35-11:55 | coffee break | |
| 11:55-12:45 | Recurrence equations Chair: Viktor Levandovskyy | Linear Algebra I. Chair: Arne Storjohann |
| R Corless, David Jeffrey and Fei Wang. The asymptotic analysis of some interpolated nonlinear recurrence relations | Wei Zhou and George Labahn. Unimodular Completion of Polynomial Matrices | |
| Fredrik Johansson. Evaluating parametric holonomic sequences using rectangular splitting | Saruchi, Damien Stehlé, Gilles Villard and Ivan Morel. LLL reducing with the most significant bits | |
| 12:45-14:20 | lunch break | |
| 14:20-15:35 | Algebraic Algorithms Chair: Tateaki Sasaki | Differential Operators Chair: Franz Winkler |
| Hongbo Li, Changpeng Shao, Lei Huang and Yue Liu. Reduction among Bracket Polynomials | Jose Gomez-Torrecillas, F.J. Lobillo and Gabriel Navarro. On isomorphisms of modules over non-commutative PID | |
| Katsusuke Nabeshima and Shinichi Tajima. On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases | Mark Giesbrecht, Albert Heinle and Viktor Levandovskyy. Factoring Differential Operators in $n$ Variables | |
| Luca De Feo, Javad Doliskani and Éric Schost. Fast arithmetic in the algebraic closure of finite fields | Reinhold Burger. Solving Higher Order Linear Differential Equations having Elliptic Function Coefficients | |
| 15:35-15:55 | coffee break | |
| 15:55-17:10 | Linear Algebra II. Chair: George Labahn | |
| Romain Lebreton and Pascal Giorgi. Online order basis algorithm and its impact on block Wiedemann algorithm | ||
| Jean-Guillaume Dumas and Erich Kaltofen. Essentially Optimal Interactive Certificates in Linear Algebra | ||
| Arne Storjohann and Shiyun Yang. Linear independence oracles and applications to rectangular and low rank linear systems | ||
| 17:10-17:25 | closing | |