Sponsored by:


Association for Computing Machinery - SIGSAM
Maplesoft
Maplesoft
The Arctic University of Norway
the Lie-Størmer Center
the Tromsø Research Foundation
the Trond Mohn foundation
the Norwegian Research council

Program

Timezones

The program below is given in Norwegian local time.

Sessions

Monday July 24th, 2023

Time
8:30 Registration
8:50 - 9:00 Opening remarks
9:00 - 11:30 Session 1: Tutorial 1
Laura Kovács - Algebra-Based Loop Analysis
chair: Éric Schost
11:30 - 13:00 Lunch Break
13:00 - 15:30 Session 2: Tutorial 2
Irina Kogan - Invariants: Computation and Applications
chair: Shaoshi Chen
15:30 - 16:00 Coffee Break
16:00 - 17:30 Session 3: Tutorial 3
Paola Boito - Matrix Structures and Matrix Functions
chair: Alicia Dickenstein
18:30 Reception at the Polar Museum

Tuesday July 25th, 2023

Time
8:30 Registration
9:00 - 9:15 Welcome
9:15 - 10:15 Session 4: Invited talk 1
Nikhil Srivastava - The Complexity of Diagonalization
chair: Alicia Dickenstein
10:15 - 10:30 Break
Session 5A Session 5B
chair: Marianne Akian chair: Carsten Schneider
10:30 - 11:00 Christina Katsamaki and Fabrice Rouillier - On Isolating Roots in a Multiple Field Extension Manuel Kauers, Christoph Koutschan and Thibaut Verron - Transcendence Certificates for D-finite Functions
11:00 - 11:30 Rémi Imbach and Guillaume Moroz - Fast Evaluation and Root Finding for Polynomials with Floating-point Coefcients Shaoshi Chen, Ruyong Feng, Zewang Guo and Wei Lu - Stability Problems on D-finite Functions
11:30 - 12:00 Michael Burr, Kisun Lee and Anton Leykin - Isolating Clusters of Zeros of Analytic Systems Using Arbitrary-degree Inflation Manuel Kauers, Philipp Nuspl and Veronika Pillwein - Order Bounds for C2-finite Sequences
12:00 - 12:30 Peter Buergisser - Real Zeros of Mixed Random Fewnomial Systems Shaoshi Chen, Lixin Du and Manuel Kauers - Hermite Reduction for D-finite Functions via Integral Bases
12:30 - 14:15 Lunch Break
14:15 - 14:45 Session 6: Maplesoft presentation - Jürgen Gerhard
chair: Robert Corless
14:45 - 15:00 Break
Session 7A Session 7B
chair: Matthew England chair: Michael Burr
15:00 - 15:30 Xavier Dahan - Chinese Remainder Theorem for Bivariate Lexicographic Gröbner Bases Qiao-Long Huang and Xiao-Shan Gao - New Sparse Multivariate Polynomial Factorization Algorithms over Integers
15:30 - 16:00 Sriram Gopalakrishnan, Vincent Neiger and Mohab Safey El Din - Refined F5 Algorithms for Ideals of Minors of Square Matrices Tian Chen and Michael Monagan - A New Black Box Factorization Algorithm - the Non-monic Case
16:00 - 16:30 Éric Schost and Catherine St-Pierre - p-adic Algorithm for Bivariate Gröbner Bases Sayak Chakrabarti and Nitin Saxena - An Efective Description of the Roots of Multivariates mod pk and the Related Igusa's Local Zeta Function
16:30 - 17:00 Clemens Hofstadler and Thibaut Verron - Signature Gröbner Bases in Free Algebras over Rings Przemysław Koprowski - Factorization and Root-finding for Polynomials over Division Quaternion Algebras
17:10 - 18:00 ISSAC business meeting
18:10 - 19:00 SIGSAM business meeting

Wednesday July 26th, 2023

Time
9:15 - 10:15 Session 8: Invited talk 2
Frank Vallentin - Least Distortion Euclidean Embeddings of Flat Tori
chair: Cordian Reiner
10:15 - 10:30 Break
Session 9A Session 9B
chair: Timothy Duff chair: Ruyong Feng
10:30 - 11:00 Carsten Schneider - Refined Telescoping Algorithms in R\Pi\Sigma-extensions to Reduce the Degrees of the Denominators Rizeng Chen and Bican Xia - Deciding First-order Formulas Involving Univariate Mixed Trigonometric-polynomials
11:00 - 11:30 Thierry Combot - Hyperelliptic Integrals to Elliptic Integrals James H. Davenport, Akshar Nair, Gregory Sankaran and Ali Kemal Uncu - Lazard-style CAD and Equational Constraints
11:30 - 12:00 Christoph Koutschan, Ali Kemal Uncu and Elaine Wong - A Unified Approach to Unimodality of Gaussian Polynomials Christian Eder, Pierre Lairez, Rafael Mohr and Mohab Safey El Din - A Direttissimo Algorithm for Equidimensional Decomposition
12:00 - 12:30 Aditya Ravi and Ilya Volkovich - New Characterization of the Factor Refinement Algorithm with Applications George Labahn, Cordian Riener, Mohab Safey El Din, Eric Schost and Thi Xuan Vu - Faster Real Root Decision Algorithm for Symmetric Polynomials
12:30 - 14:00 Lunch Break
14:00 - 15:00 Session 10: Poster session
15:00 - 15:15 Group Photo
Session 11A Session 11B
chair: Guillaume Moroz chair: Maurice Rojas
15:15 - 15:45 Michael Burr and Michael Byrd - Certified Simultaneous Isotopic Approximation of Pairs of Curves via Subdivision Adam Kurpisz and Elias Wirth - Sum of Squares Bounds for the Empty Integral Hull Problem
15:45 - 16:15 Md Nazrul Islam, Adrien Poteaux and Rémi Prébet - Algorithm for Connectivity Queries on Real Algebraic Curves Gorav Jindal and Louis Gaillard - On the Order of Power Series and the Sum of Square Roots Problem
16:15 - 16:45 Florent Brehard, Adrien Poteaux and Léo Soudant - Validated Root Enclosures for Interval Polynomials with Multiplicities Przemysław Koprowski, Victor Magron and Tristan Vaccon - Pourchet's Theorem in Action: Decomposing Nonnegative Univariate Polynomials as Sums of Five Squares
16:45 - 17:15 Kosaku Nagasaka - SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials Sander Gribling, Sven Polak and Lucas Slot - A Note on the Computational Complexity of the Moment-SOS Hierarchy for Polynomial Optimization
17:15 - 17:30 Break
Session 12A
Software Presentations
Session 12B
Software Presentations
chair: Anton Leykin chair: Veronika Pillwein
17:30 - 17:50 David Ayotte, Xavier Caruso, Antoine Leudière and Joseph Musleh - Drinfeld Modules in SageMath Nikolai Fadeev, Carsten Schneider and Johannes Blümlein - Computing Mellin Representations and Asymptotics of Nested Binomial Sums in a Symbolic Way: the RICA Package
17:50 - 18:10 Christopher Brown, Zoltán Kovács and Tomas Recio - Faithful Real-time Animation of Parametrized (semi-)Algebraic Expressions via Cylindrical Algebraic Decomposition Miguel Marco-Buzunáriz, Ana Romero and Jose Divasón - Efective Homology of Universal Covers
18:10 - 18:30 Jérémy Berthomieu, Stef Graillat, Dimitri Lesnof and Theo Mary - Modular Matrix Multiplication on GPU for Polynomial System Solving Nusa Zidaric, Guang Gong, Mark Aagaard, Aleksandar Jurisic and Olexandr Konovalov - FFCSA -- Finite Field Constructions, Search, and Algorithms
18:30 - 18:50 Yang-Hui He, Vishnu Jejjala, Brent Nelson, Hal Schenck and Michael Stillman - MSSM: A Macaulay2 Package for the Vacuum Moduli Space Bertrand Teguia Tabuguia - Operations for D-Algebraic Functions
19:30 Banquet at the Full Steam Restaurant

Thursday July 27th, 2023

Time
9:00 - 10:00 Session 13: Invited talk 3
Rekha R. Thomas - Two Views of P3
chair: Elias Tsigaridas
10:00 - 10:15 Break
Session 14A Session 14B
chair: Peter Buergisser chair: Bican Xia
10:15 - 10:45 Gilles Villard - Elimination Ideal and Bivariate Resultant over Finite Fields Ruiwen Dong - Termination of Linear Loops under Commutative Updates
10:45 - 11:15 Tor Hadas and Oded Schwartz - Towards Practical Fast Matrix Multiplication based on Trilinear Aggregation George Kenison, Laura Kovács and Anton Varonka - From Polynomial Invariants to Linear Loops
11:15 - 11:45 Riccardo Invernizzi and Daniele Taufer - Multiplication Polynomials for Elliptic Curves over Finite Local Rings George Kenison, Klara Nosan, Mahsa Shirmohammadi and James Worrell - The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
11:45 - 12:15 Stephen Watt - Efficient Quotients Using Exact Arithmetic Sizhuo Yan, Jianting Yang, Tianshi Yu and Lihong Zhi - A Characterization of Perfect Strategies for Mirror Games
12:15 - 12:45 Manuel Kauers and Jakob Moosbauer - Flip Graphs for Matrix Multiplication -
12:45 - 14:15 Lunch Break
Session 15A
Session 15B
chair: Manuel Kauers chair: Ali Kemal Uncu
14:15 - 14:45 Saúl Blanco and Daniel Skora - An Algorithm to Enumerate Grid Signed Permutation Classes Yossef Musleh and Éric Schost - Computing the Characteristic Polynomial of Endomorphisms of a Finite Drinfeld Module using Crystalline Cohomology
14:45 - 15:15 Dominic Bunnett, Michael Joswig and Julian Pfeifle - Stacky Fans and Tropical Moduli in Polymake Alin Bostan, Vincent Neiger and Sergey Yurkevich - Beating Binary Powering for Polynomial Matrices
15:15 - 15:45 Tristan Vaccon and Thibaut Verron - Universal Analytic Gröbner Bases and Tropical Geometry Clément Pernet, Hippolyte Signargout and Gilles Villard - Exact Computations with Quasiseparable Matrices
15:45 - 16:15 Yulia Alexandr, Joe Kileel and Bernd Sturmfels - Moment Varieties for Mixtures of Products Jose Divasón, Fatemeh Mohammadi, Eduardo Saenz-De-Cabezon and Henry Wynn - Sensitivity Analysis of Discrete Preference Functions Using Koszul Simplicial Complexes
16:15 - 16:45 Marianne Akian, Antoine Béreau and Stéphane Gaubert - The Tropical Nullstenllensatz and Positivstellensatz for Sparse Polynomial Systems -
16:45 - 17:00 Break
Session 16A Session 16B
chair: Hughes Verdure chair: Thibaut Verron
17:00 - 17:30 Bo Huang - Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems Timothy Duff, Viktor Korotynskiy, Tomas Pajdla and Margaret Regan - Using Monodromy to Recover Symmetries of Polynomial Systems
17:30 - 18:00 Thomas Cluzeau, Camille Pinto and Alban Quadrat - Further Results on the Computation of the Annihilator of Integro-differential Operators Robert Corless - Blendstrings: an Environment for Computing with Smooth Functions
18:00 - 18:30 Alin Bostan, Hadrien Notarantonio and Mohab Safey El Din - Fast Algorithms for Discrete Differential Equations Hao Du, Yiman Gao, Jing Guo and Ziming Li - Computing Logarithmic Parts by Evaluation Homomorphisms