Photo: ©KOBE CONVENTION & VISITORS ASSOCIATION
List of Accepted Papers
- Fredrik Johansson. Evaluating parametric holonomic sequences using rectangular splitting
- Hongbo Li, Changpeng Shao, Lei Huang and Yue Liu. Reduction among Bracket Polynomials
- Manfred Minimair. Randomized Detection of Extraneous Factors
- Michael Sagraloff. A Near-Optimal Algorithm for Computing Real Roots of Sparse Polynomials
- Adam Strzeboński. Cylindrical Algebraic Decomposition Using Local Projections
- Manuel Kauers. Bounds for D-Finite Closure Properties
- David Sevilla, J Rafael Sendra and Carlos Villarino. Covering of surfaces parametrized without projective base points
- Georg Grasegger. Radical Solutions of First Order Autonomous Algebraic Ordinary Differential Equations
- Erich Kaltofen and Zhengfeng Yang. Sparse Multivariate Function Recovery With a High Error Rate in the Evaluations
- Shaoshi Chen, Ruyong Feng, Ziming Li and Michael F. Singer. Parallel Telescoping and Parameterized Picard--Vessiot Theory
- Katsusuke Nabeshima and Shinichi Tajima. On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
- Wei Zhou and George Labahn. Unimodular Completion of Polynomial Matrices
- Shaoshi Chen, Manuel Kauers and Christoph Koutschan. A Generalized Apagodu-Zeilberger Algorithm
- Jonathan Kausch and Volker Diekert. Logspace computations in graph products
- Oscar Garcia-Morchon, Domingo Gomez-Perez, Jaime Gutierrez, Ronald Rietman and Ludo Tolhuizen. The MMO problem
- Jean-Guillaume Dumas and Erich Kaltofen. Essentially Optimal Interactive Certificates in Linear Algebra
- Saruchi, Damien Stehlé, Gilles Villard and Ivan Morel. LLL reducing with the most significant bits
- Thomas Kahle, Robert Krone and Anton Leykin. Equivariant lattice generators and Markov bases
- Romain Lebreton and Pascal Giorgi. Online order basis algorithm and its impact on block Wiedemann algorithm
- Markus Bläser and Gorav Jindal. A New Deterministic Algorithm for Sparse Multivariate Polynomial Interpolation
- Bruno Grenet. Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach
- Alin Bostan, Xavier Caruso and Éric Schost A fast algorithm for computing the characteristic polynomial of the p-curvature
- Jonathan D. Hauenstein, Ian Haywood and Alan Liddell. An a posteriori certification algorithm for Newton homotopies
- Bernard Mourrain and Philippe Trebuchet. Toric Border Basis
- Konstantin Ziegler. Tame decompositions and collisions
- Madalina Erascu and Hoon Hong. Synthesis of Optimal Numerical Algorithms using Real Quantifier Elimination (Case Study: Square Root Computation)
- Suzy S. Maddah, Moulay A. Barkatou and Hassan Abbas. On the Reduction of Singularly-Perturbed Linear Differential Systems
- Suzy S. Maddah, Moulay A. Barkatou and Hassan Abbas. Formal Solutions of a Class of Pfaffian Systems in Two Variables
- Joris van der Hoeven. Faster relaxed multiplication
- Tristan Vaccon. Matrix-F5 algorithms over finite-precision complete discrete valuation fields
- Elizabeth Gross and Jose Rodriguez. Maximum likelihood geometry in the presence of data zeros
- Erich Kaltofen and Clément Pernet. Sparse Polynomial Interpolation Codes and Their Decoding Beyond Half the Minimal Distance
- Lingchuan Meng and Jeremy Johnson. High Performance Implementation of the TFT
- Alin Bostan, Thierry Combot and Mohab Safey El Din. Computing necessary integrability conditions for planar parametrized homogeneous potentials
- Jean-Charles Faugère, Pierre-Jean Spaenlehauer and Jules Svartz. Sparse Gröbner Bases: The Unmixed Case
- Francois Le Gall. Powers of Tensors and Fast Matrix Multiplication
- Jose Gomez-Torrecillas, F.J. Lobillo and Gabriel Navarro. On isomorphisms of modules over non-commutative PID
- Changbo Chen and Marc Moreno Maza. Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains
- Mark Giesbrecht, Albert Heinle and Viktor Levandovskyy. Factoring Linear Differential Operators in $n$ Variables
- Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget and Fabrice Rouillier. Improved algorithm for computing separating linear forms for bivariate systems
- 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.
- Daouda Niang Diatta, Fabrice Rouillier and Marie-Françoise Roy. On the computation of the topology of plane curves
- Andrew Arnold, Mark Giesbrecht and Daniel Roche. Sparse interpolation over finite fields via low-order roots of unity
- Luca De Feo, Javad Doliskani and Éric Schost. Fast arithmetic in the algebraic closure of finite fields
- Arne Storjohann and Shiyun Yang. Linear independence oracles and applications to rectangular and low rank linear systems
- Andrew Arnold and Daniel S. Roche. Multivariate sparse interpolation using randomized Kronecker substitutions
- Reinhold Burger. Solving Higher Order Linear Differential Equations having Elliptic Function Coefficients
- Jingjun Han, Liyun Dai and Bican Xia. Constructing Fewer Open Cells by GCD Computation in CAD Projection
- R Corless, David Jeffrey and Fei Wang. The asymptotic analysis of some interpolated nonlinear recurrence relations
- Ioannis Emiris and Raimundas Vidunas. Root counts of semi-mixed systems, and an application to counting Nash equilibria
- Carlos Arreche. Computing the differential Galois group of a parameterized second-order linear differential equation