Wednesday June 26 |
Shillman Hall (SH) 220 |
8:30 |
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) |
Thursday |
Room 1 (West Village F 20) | Room 2 (Shillman Hall (SH) 220) |
| 8:00 | Registration desk open – Coffee served | |
8:40 |
Opening remarks | |
9:00 – 10:00 |
Invited Talk: Henry Cohn – Solving Equations with Size Constraints for the Solutions | |
10:00 – 10:30 |
Break | |
Bivariate systems |
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 |
Lunch | |
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 |
Break | |
| 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 | |
Friday 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 |
Break | |
| 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 |
Lunch | |
| 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 |
Integration |
|
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 |
7:00 |
Banquet (Curry Ballroom, 2nd floor of the Curry Student Center) | |
Saturday June 29 |
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: 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 | |