Program
Timezones
The program below is given in Raleigh local time (EDT).- PDT (Pacific Daylight Time = UTC-7)
- EDT (East coast of USA = UTC-4)
- GMT/UTC
- CET (Central Europe = UTC+2)
- CST (China Standard Time = UTC +8)
- JST (Japan Standard Time = UTC +9)
- AEST (Australian Eastern Standard Time = UTC +10)
- NZST (New Zealand Standard Time = UTC +12)
Sessions
- All plenary lectures/tutorials and the business meetings will be in SAS Hall
- All coffee breaks, the poster reception and poster session, and the tutorial reception, will be in the Lobby of SAS Hall.
- All parallel sessions will be in Riddick Hall
- Left column is Session A.
- Right column is Session B.
- All A sessions will be in the Riddick Hall room RD 450.
- All B sessions will be in Riddick Hall room RD 451.
Tuesday July 16th, 2024
| Time | ||
|---|---|---|
| 9:40 - 10:00 AM | Registration (Self Serve, SAS Hall Lobby) | |
| 10:00 AM - 12:00 PM |
Tutorial 1 (SAS 2203) Pierre Lairez - Transcendental methods in numerical algebraic geometry chair: Jose Israel Rodriguez |
|
| 12:00 - 2:00 PM | Lunch Break (off campus) | |
| 2:00 - 3:00 PM |
Tutorial 2 (SAS 2203) Evelyne Hubert - Preserving and Exploiting Symmetry in Algebraic Computation (part 1) chair: Jose Israel Rodriguez |
|
| 3:00 - 3:30 PM | Coffee Break | |
| 3:30 - 4:30 PM |
Tutorial 2 (SAS 2203) Evelyne Hubert - Preserving and Exploiting Symmetry in Algebraic Computation (part 2) chair: Jose Israel Rodriguez |
|
| 4:30 - 5:30 PM | Informal Discussions | |
| 5:30 PM - 7:00 PM | Reception (SAS Hall Lobby) | |
Wednesday, July 17th, 2024
| Time | ||
|---|---|---|
| 9:00 - 9:20 AM | Registration (Self Serve, SAS Hall Lobby) | |
| 9:20 - 9:30 AM | Welcome | |
| 9:30 - 10:30 AM |
Plenary Talk 1 (SAS 2203) Erich Kaltofen - Encounters in Symbolic Computation: Ideas for the Ages chair: Wen-shin Lee |
|
| 10:30 - 11:00 AM | Coffee Break | |
| Session A (RD450) | Session B (RD451) | |
| chair: John May | chair: Manuel Kauers | |
| 11:00 - 11:30 AM | Michael Monagan and Qiao-Long Huang - A New Sparse Polynomial GCD by Separating Terms | Manfred Buchacher and Manuel Kauers - On the Problem of Separating Variables in Multivariate Polynomial Ideals |
| 11:30 AM - 12:00 PM | Ido Nahshon and Amir Shpilka - New Bounds on Quotient Polynomials with Applications to Exact Division and Divisibility Testing of Sparse Polynomials | Thierry Combot and Camilo Sanabria - Liouvillian Solutions of Third Order Differential Equations |
| 12:00 - 12:30 PM | Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray and Daniel Roche - Fast interpolation and multiplication of unbalanced polynomials | Heba Bou Kaedbey, Mark van Hoeij and Man Cheung Tsui - Solving Third Order Linear Difference Equations in Terms of Second Order Equations |
| 12:30 - 1:00 PM | Erich L. Kaltofen and Zhi-Hong Yang - Sparse Polynomial Interpolation With Error Correction: Higher Error Capacity by Randomization | Antonio Jiménez-Pastor and Ali Kemal Uncu - Factorial Basis Method for q-Series Applications |
| 1:00 - 2:30 PM | Lunch (off campus, not provided) | |
| Session A (RD450) | Session B (RD451) | |
| chair: Pascal Giorgi | chair: Frédéric Chyzak | |
| 2:30 - 3:30 PM | Jean-Guillaume Dumas and Bruno Grenet - In-place accumulation of fast multiplication formulae | Shaoshi Chen, Ruyong Feng, Manuel Kauers and Xiuyun Li - Parallel Summation in P-Recursive Extensions |
| 3:00 - 3:30 PM | Jean-Guillaume Dumas and Bruno Grenet - In-place fast polynomial modular remainder | Shahriar Iravanian, Shashi Gowda and Christopher Rackauckas - Hybrid Symbolic-Numeric and Numerically-Assisted Symbolic Integration |
| 3:30 - 4:10 PM | Coffee Break | |
| Session A (RD450) | Session B (RD451) | |
| chair: Pascal Giorgi | chair: Frédéric Chyzak | |
| 4:10 - 4:40 PM | Jean-Guillaume Dumas, Clément Pernet and Alexandre Sedoglavic - Strassen’s algorithm is not optimally accurate | Thomas Cluzeau, Camille Pinto and Alban Quadrat - Effective characterization of evaluation ideals of the ring of integro-differential operator |
| 4:40 - 5:10 PM | Yamato Arai, Yuma Ichikawa and Koji Hukushima - Adaptive Flip Graph Algorithm for Matrix Multiplication | Taihei Oki and Yujin Song - Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices |
| 7:00 - 9:00 PM | Banquet in the York Auditorium (in the Ruby McSwain Education Center) |
|
Thursday, July 18th, 2024
| Time | ||
|---|---|---|
| 9:00 - 10:00 AM |
Plenary Talk 2 (SAS 2203) Elizabeth Gross - Computational algebraic geometry for evolutionary biology chair: Jon Hauenstein |
|
| 10:00 - 10:30 AM | Coffee Break (and Registration) | |
| Session A (RD450) | Session B (RD451) | |
| chair: Clément Pernet | chair: Tim Duff | |
| 10:30 - 11:00 AM | Cordian Riener, Robin Schabert and Thi Xuan Vu - Connectivity in Symmetric Semi-Algebraic Sets | Yihang Cheng, Yansong Feng and Yanbin Pan [Remote Speaker] - Embedding Integer Lattices as Ideals into Polynomial Rings |
| 11:00 - 11:30 AM | Yameen Ajani and Curtis Bright - SAT and Lattice Reduction for Integer Factorization | Zihao Dai, Zijia Li, Zhi-Hong Yang and Lihong Zhi [Remote Speaker] - Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets |
| 11:30 AM - 12:00 PM | Matteo Abbondati, Eleonora Guerrini and Romain Lebreton - Decoding Simultaneous Rational Evaluation Codes | Louis Gaillard and Mohab Safey El Din - Solving parameter-dependent semi-algebraic systems |
| 12:00 - 12:30 PM | Saúl Blanco and Daniel Skora - Enumerating polynomial colored permutation classes | Lucas Michel, Pierre Mathonet and Naïm Zenaïdi - On Minimal and Minimum Cylindrical Algebraic Decompositions |
| 12:30 - 1:45 PM | Lunch (off campus, not provided) | |
| 1:45 - 2:15 | Maplesoft presentation - John May (RD 451) chair: Zhihong Yang | |
| Session A (RD450) | Session B (RD451) | |
| chair: George Labahn | chair: Timo de Wolff | |
| 2:15 - 2:45 PM | Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie and Chun-Ming Yuan - Efficient detection of redundancies in systems of linear inequalities | Weixun Deng, Alperen Ergur, Grigoris Paouris and J. Maurice Rojas - Feasibility of Circuit Polynomials without Purple Swans |
| 2:45 - 3:15 PM | Rizeng Chen and Bican Xia - Reduction of Transcendental Decision Problems over the Reals | Nathaniel A. Collins, Joshua Grochow, Michael Levet and Armin Weiß - Constant Depth Circuit Complexity for Generating Quasigroups |
| 3:15 - 4:45 PM | Poster session and reception with snacks and refreshments (SAS Hall Lobby with additional Virtual Poster in SAS 2225) Chair: Michael Burr List of accepted posters |
|
| Session A (RD450) Software Presentations |
Session B (RD451) Software Presentations | |
| chair: Thi Xuan Vu | chair: Kisun Lee | |
| 4:45 - 5:05 PM | Bertrand Teguia Tabuguia [Remote Speaker] - Computing with Hypergeometric-Type Terms | Maxime Bridoux and Khalil Ghorbal - A Mathematica Package for Certifying the Nonexistence of Darboux Polynomials |
| 5:05 - 5:25 PM | François Fages, Mathieu Hemery and Sylvain Soliman - On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry | Max Hill and Jose Rodriguez - A maximum likelihood estimator for quartets under the Cavender-Farris-Neyman model |
| 5:25 - 5:45 PM | Zoltán Kovács, Bernard Parisse, Tomas Recio, M. Pilar Velez and Jonathan H. Yu - The ShowProof command in GeoGebra Discovery: Towards the automated ranking of elementary geometry theorems | Tulay Ayyildiz, Deniz Naz Demirel, Ismail Tapan and Zafeirakis Zafeirakopoulos - A Julia package for Polyhedral Omega and applications |
| 5:45 - 5:55 PM | Break | |
| 5:55 - 7:15 PM | ISSAC business meeting (SAS 2203) | |
| 7:15 - 8:35 PM | SIGSAM business meeting (SAS 2203) | |
Friday, July 19th, 2024
| 9:00 - 10:00 AM |
Plenary Talk 3 (SAS 2203) Daniel Roche - Corrigimus, verificamus, vincimus: Ensuring algorithmic accuracy in an age of uncertainty chair: Mark Giesbrecht |
|
| 10:00 - 10:30 AM | Coffee Break (and Registration) | |
| Session A (RD450) | Session B (RD451) | |
|---|---|---|
| chair: Daniel Lichtbau | chair: Shaoshi Chen | |
| 10:30 - 11:00 AM | Zhaoxing Qi and Chenqi Mou [Remote Speaker] - Complexity Analysis of Triangular Decomposition over F_2 with Strongly Chordal Graphs | Alexander Levin - A New Type of Dimension Polynomials of Inversive Difference Field Extensions |
| 11:00 - 11:30 AM | Xiuquan Ding, Dingkang Wang, Fanghui Xiao and Xiaopeng Zheng [Remote Speaker] - An Algorithm for Computing Greatest Common Right Divisors of Parametric Ore Polynomials | Jérémy Berthomieu and Rafael Mohr - Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting |
| 11:30 AM - 12:00 PM | Dongming Wang and Linpeng Wang [Remote Speaker] - Decomposition of Polynomial Ideals into Triangular Regular Sequences | Carlos Arreche and Hari Sitaula - Computing discrete residues of rational functions |
| 12:00 - 12:30 PM | Moulay Barkatou, Lucas Legrand and Tristan Vaccon - Gröbner Bases Over Polytopal Affinoid Algebras | Khalil Ghorbal and Maxime Bridoux - Automated Reasoning For The Existence Of Darboux Polynomials |
| 12:30 - 2:00 PM | Lunch (off campus, not provided) | |
| Session A (RD450) | Session B (RD451) | |
| chair: Hoon Hong | chair: Martin Helmer | |
| 2:00 - 2:30 PM | Chris La Valle and Josue Tonelli-Cueto - Some Lower Bounds on the Reach of an Algebraic Variety | Gabriel Mattos Langeloh - Exploring the Geometric Buchberger Algorithm in Integer Programming |
| 2:30 - 3:00 PM | Bo Huang, Dongming Wang and Jing Yang - Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation | Hao Liang, Jingyu Lu, Manolis C. Tsakiris and Lihong Zhi - Unlabeled Sensing Using Rank-One Moment Matrix Completion |
| 3:00 - 3:30 PM | Sriram Gopalakrishnan, Vincent Neiger and Mohab Safey El Din - Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations | Timo de Wolff and Janin Heuer - Initial Application of SONC to Lyapunov Stability of Dynamical Systems |
| 3:30 - 4:00 PM | Colin Alstad, Michael Burr, Oliver Clarke and Tim Duff - Subalgebra and Khovanskii bases equivalence | Erdenebayar Bayarmagnai, Fatemeh Mohammadi and Rémi Prébet - Algebraic Tools for Computing Polynomial Loop Invariants |
| 4:00 - 4:45 PM | Coffee Break | |
| Session A (RD450) | Session B (RD451) | |
| chair: Lihong Zhi | chair: Timo de Wolff | |
| 4:45 - 5:15 PM | Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova, Alexey Ovchinnikov, Gleb Pogudin and Pedro Soto - Faster Groebner bases for Lie derivatives of ODE systems via monomial orderings | Timothy Duff and Kisun Lee - Certified homotopy tracking using the Krawczyk method |
| 5:15 - 5:45 PM | Qiyuan Chen and Ke Ye - A quasi-optimal lower bound for skew polynomial multiplication | Alexandre Guillemot and Pierre Lairez - Validated Numerics for Algebraic Path Tracking |
| 5:45 - 6:15 PM | Vincent Neiger, Clément Pernet and Gilles Villard - Computing Krylov iterates in the time of matrix multiplication | |