ISSAC 2013 – Schedule

June 26
Shillman Hall (SH) 220


Registration desk open – Coffee served
9:30 – 11:40
Tutorial: Dan Steffy – Exact Linear and Integer Programming
1:30 – 3:40
Tutorial: Mark van Hoeij – The Complexity of Factoring Univariate Polynomials over the Rationals
3:40 – 4:00 Break
4:00 – 6:10
Tutorial: Pablo Parrilo – Convex Algebraic Geometry and Semidefinite Optimization
7:00 – 9:00 Opening Reception – Bamboo garden, outside the International Village (basement of International Village in case of rain)


June 27

Room 1 (West Village F 20) Room 2 (Shillman Hall (SH) 220)
8:00 Registration desk open – Coffee served
Opening remarks
9:00 – 10:00
Invited Talk: Henry Cohn – Solving Equations with Size Constraints for the Solutions
10:00 – 10:30

Bivariate systems
Session Chair: Xavier Dahan

Software and Applications
Session Chair: Roman Pearce
10:30 – 10:55
Romain Lebreton, Esmaeil Mehrabi and Éric Schost. On the Complexity of Solving Bivariate Systems: the Case of Non-singular Solutions Joris van der Hoeven and Gregoire Lecerf. Interfacing Mathemagix with C++
10:55 – 11:20
Yacine Bouzidi, Sylvain Lazard, Marc Pouget and Fabrice Rouillier. Separating Linear Forms for Bivariate Systems Mark Boady, Pavel Grinfeld and Jeremy Johnson. A Term Rewriting System for the Calculus of Moving Surfaces
11:20 – 11:45
Yacine Bouzidi, Sylvain Lazard, Marc Pouget and Fabrice Rouillier. Rational Univariate Representations of Bivariate Systems and Applications Laureano Lambán, Francisco-Jesus Martin-Mateos, Julio Rubio and Jose-Luis Ruiz-Reina. Certified Symbolic Manipulation: Bivariate Simplicial Polynomials
11:45 – 1:30
1:30 – 2:30
Invited Software Talk: Stephen Wolfram – Computer Algebra: A 32-Year Update  
  Software Presentations I

Poster Session I (main foyer West Village F20)

2:30 – 2:45 Break

Posters 1–9 from accepted posters.

Coffee and snacks available from 3:30

2:45 – 3:10
Christoph Koutschan. Holonomic Functions in Mathematica
3:10 – 3:35 Erik Postma. The new GroupTheory package in Maple 17
3:35 – 4:00
Fourier Tranforms
Session Chair: Daniel S. Roche
Computational Group Theory and Number theory
Session Chair: Gene Cooperman
4:00 – 4:25
Yasuhito Kawano and Hiroshi Sekigawa. Quantum Fourier Transform over Symmetric Groups Eric Bach and Jonathan Sorenson. Approximately Counting Semismooth Integers
4:25 – 4:50
Andrew Arnold. A New Truncated Fourier Transform Algorithm Alexander Hulpke. Calculation of the Subgroups of a Trivial-Fitting Group
4:50 – 5:15
Joris van der Hoeven, Romain Lebreton and Éric Schost. Structured FFT and TFT: Symmetric and Lattice Polynomials Anton Betten. Rainbow Cliques and the Classification of Small BLT-Sets
5:30 – 7:00
ISSAC Business Meeting
7:00 – 7:30
SIGSAM Business Meeting


June 28
Room 1 (West Village F 20) Room 2 (Shillman Hall (SH) 220)
8:30 Registration desk open – Coffee served
9:00 – 10:00
Invited Talk: Hendrik Lenstra – Lattices with symmetry
10:00 – 10:30
Algebraic Algorithms
Session Chair: Jürgen Gerhard
Difference equations
Session Chair: Manuel Kauers
10:30 – 10:55
Jingwei Chen, Damien Stehle and Gilles Villard. A New View on HJLS and PSLQ: Sums and Projections of Lattices Mariya Bessonov, Alexey Ovchinnikov and Maxwell Shapiro. Integrability conditions for parameterized linear difference equations
10:55 – 11:20
Luca De Feo, Éric Schost and Javad Doliskani. Fast Algorithms for l-adic Towers over Finite Fields Alexander Levin. Multivariate Difference-Differential Dimension Polynomials and New Invariants of Difference-Differential Field Extensions
11:20 – 11:45
Valérie Berthé, Jean Creusefond, Loick Lhote and Brigitte Vallée. Multiple GCD's. Probabilistic Analysis of the Plain Algorithm Veronika Pillwein. Termination Conditions for Positivity Proving Procedures
11:45 – 1:30
Linear algebra
Session Chair: B. David Saunders
Telescoping and Desingularization
Session Chair: Mark van Hoeij
1:30 – 1:55
Jean-Guillaume Dumas, Clément Pernet and Ziad Sultan. Simultaneous Computation of the Row and Column Rank Profiles Alin Bostan, Pierre Lairez and Bruno Salvy. Creative telescoping for rational functions using the Griffiths–Dwork method
1:55 – 2:20
Colton Pauderis and Arne Storjohann. Computing the Invariant Structure of Integer Matrices: Fast Algorithms into Practice Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li and Guoce Xin. Hermite Reduction and Creative Telescoping for Hyperexponential Functions
2:20 – 2:45
Wei Zhou and George Labahn. Computing Column Bases of Polynomial Matrices Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers and Michael Singer. Desingularization Explains Order-Degree Curves for Ore Operators
Software Presentations II Poster Session II (main foyer West Village F20)
2:45 – 3:00 Break

Posters 10–18 from accepted posters.

Coffee and snacks available from 3:30

3:00 – 3:25

Anton Betten. Classifying Discrete Objects with Orbiter
3:25 – 3:50 Fredrik Johansson. Arb: a C Library for Ball Arithmetic
3:50 – 4:15
Tien-Yien Li, Zhonggang Zeng. NAClab: A Matlab Toolbox for Numerical Algebraic Computation
4:15 – 4:30 Break
Solutions of Equations
Session Chair: Agnes Szanto

Session Chair: Bruno Salvy

4:30 – 4:55
Zhengfeng Yang, Lihong Zhi and Yijun Zhu. Verified Error Bounds for Real Solutions of Positive-dimensional Polynomial Systems Clemens G. Raab. Integration of unspecified functions and families of iterated integrals
4:55 – 5:20
Qingdong Guo, Mohab Safey El Din and Lihong Zhi. Computing Rational Solutions of Linear Matrix Inequalities Francois Boulier, François Lemaire, Georg Regensburger and Markus Rosenkranz. On the Integration of Differential Fractions
5:20 – 5:45
Victor Y. Pan and Elias Tsigaridas. On the Boolean Complexity of Real Root Refinement Alin Bostan, Frédéric Chyzak and Élie de Panafieu. Complexity Estimates for Two Uncoupling Algorithms
Banquet (Curry Ballroom, 2nd floor of the Curry Student Center)

June 29
Room 1 (West Village F 20) Room 2 (Shillman Hall (SH) 220)
Registration desk open – Coffee served
9:00 – 10:00 Invited Talk: Mohab Safey El Din – Critical Point Methods and Effective Real Algebraic Geometry: New Results and Trends
10:00 – 10:30 Break
Resultants and Algebra
Session Chair: Alin Bostan
Gröbner Bases I
Session Chair: Hans Schönemann
10:30 – 10:55 Alicia Dickenstein, Ioannis Emiris and Vissarion Fisikopoulos. Combinatorics of 4-Dimensional Resultant Polytopes Senshan Pan, Yupu Hu and Baocang Wang. The Termination of the F5 Algorithm Revisited
10:55 – 11:20 Romain Basson, Reynald Lercier, Christophe Ritzenthaler and Jeroen Sijsling. An Explicit Expression of the Luroth Invariant Bjarke Hammersholt Roune and Christian Eder. Signature Rewriting in Gröbner Basis Computation
11:20 – 11:45 Wei Li, Chun-Ming Yuan and Xiao-Shan Gao. Sparse Difference Resultant Jean-Charles Faugère, Mohab Safey El Din and Thibaut Verron. On the Complexity of Computing Gröbner Bases for Quasi-Homogeneous Systems
11:45 – 1:30 Lunch
Sparse polynomials
Session Chair: Mark Giesbrecht
Gröbner Bases II
Session Chair: Lihong Zhi
1:30 – 1:55 Arkadev Chattopadhyay, Bruno Grenet, Pascal Koiran, Natacha Portier and Yann Strozecki. Factoring Bivariate Lacunary Polynomials Without Heights Viktor Levandovskyy, Benjamin Schnitzler and Grischa Studzinski. Enhanced computations of Gröbner Bases in Free Algebras as a New Application of the Letterplace Paradigm
1:55 – 2:20 Erich Kaltofen and Zhengfeng Yang. Sparse Multivariate Function Recovery from Values with Noise and Outlier Errors Jules Svartz and Jean-Charles Faugère. Gröbner Bases of Ideals Invariant under a Commutative Group: the Non-Modular Case
2:25 – 2:50 Jingguo Bi, Qi Cheng and J. Maurice Rojas. Sub-Linear Root Detection, and New Hardness Results, for Sparse Polynomials Over Finite Fields
3:00 – 3:30 Maplesoft Demo: Jürgen Gerhard. What's New in Maple 17?
3:30 – 4:00 Break
Cylindrical Algebraic Decomposition
Session Chair: Jean-Guillaume Dumas
Differential Equations
Session Chair: Éric Schost
4:00 – 4:25 Russell Bradford, James Davenport, Matthew England, Scott McCallum and David Wilson. Cylindrical Algebraic Decompositions for Boolean Combinations Vijay Kunwar and Mark van Hoeij. Second Order Differential Equations with Hypergeometric Solutions of Degree Three
4:25 – 4:50 Christopher Brown. Constructing a Single Open Cell in a Cylindrical Algebraic Decomposition Fredrik Johansson, Manuel Kauers and Marc Mezzarobba. Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation
4:50 – 5:15 Kurt Mehlhorn, Michael Sagraloff and Pengming Wang. From Approximate Factorization to Root Isolation Greg Reid and Wenyuan Wu. Numerical Determination of Witness Points on Real Solution Components of Polynomial and Differential Polynomial Systems
5:20 Closing
5:40 Walking tour through Boston