Invited talks
Gianira Nicoletta Alfarano - Skew-polynomial rings and algebraic coding theory |
Ioannis Emiris - A sparse overview of sparse elimination |
Daniel Panario - Iterating Generalized Cyclotomic Mappings of Finite Fields |
Veronika Pillwein - Sequences and series beyond holonomic |
Jürgen Gerhard - What's new in Maple 2025? |
SS1 - Computer Algebra in Education
SS2 - Computer Algebra Software in the Life Sciences (CASinLife)
SS3 - Computer algebra in group theory and representation theory
Ilias Andreou - The representations of the Brauer-Chen algebra associated to the exceptional complex reflection groups (NKUA, Department of Mathematics, Greece) |
Maria Chlouveraki - Blocks and Schur elements for Hecke algebras of exceptional complex reflection groups (National and Kapodistrian University of Athens, Greece) |
Dinushi Munasinghe - Steadied quotients of KLR algebras (National and Kapodistrian University of Athens, Greece) |
Götz Pfeiffer - Reflection Groups in the Light of Formal Concept Analysis (University of Galway, Ireland) |
Kostas Psaromiligkos - The generalized Springer correspondence for disconnected reductive groups (Université Clermont Auvergne, France) |
Benedek Dombos - Decomposition of affine crystals in levels 1 and 2 (University of Geneva, Switzerland) |
Christos Tatakis - Toric ideals of graphs minimally generated by a Gröbner basis (University of Western Macedonia, Department of Mathematics, Greece) |
Maria Chatzikyriakou - Coxeter groups via Cartan matrices (National and Kapodistrian University of Athens, Greece) |
Daniel Juteau - The exotic nilCoxeter algebra for G(m, m, 3) (CNRS / Université de Picardie Jules Verne, France) |
Angeliki-Aikaterini Metallinou - Matroids (University of Athens, Greece) |
SS4 - Computational Differential and Difference Algebra and Their Applications
SS5 - Computer algebra modeling in physics, classical and celestial mechanics, and engineering
SS6 - Symbolic Linear Algebra and Its Applications
Rob Corless - On the maximal spread of symmetric Bohemian matrices (Western University, Canada) |
Sparse Interpolation in Chebyshev Basis: Early Termination and Georg Heinig’s Toeplitz Solver |
Mark Giesbrecht - From Smith forms to spectra to iterative algorithms for sparse integer matrices (University of Waterloo, Canada) |
George Labahn - Tools for fast computation of integer matrix normal forms (University of Waterloo, Canada) |
Arne Storjohann - Computing Hermite normal forms of integer matrices faster (University of Waterloo, Canada) |
Eunice Chan - Homotopy Methods for Computing Roots of Mandelbrot Polynomials (Chinese University of Hong Kong, Shenzhen, China) |
Erich Kaltofen - Sparse Interpolation in Chebyshev Basis: Early Termination and Georg Heinig’s Toeplitz Solver (North Carolina State University and Duke University, USA) |
SS7 - History of Computer Algebra
Stephen Watt - Portability of early CAS (University of Waterloo, Canada) |
Sasaki Tateaki - Symbolic computation in 1974-1976 in Japan (University of Tsukuba, Japan) |
Arthur Norman - 60+ years of applications: a perspective from Reduce (Trinity College, Cambridge, United Kingdom) |
Michael Monagan - A history of efficiency problems in Maple (Fraser University, Canada) |
David Jeffrey - Soft Warehouse, Derive and Computer Algebra (University of Western Ontario, Canada) |
Jürgen Gerhard - A personal history with computer algebra (Maplesoft, Canada) |
Rob Corless - Analysis vs algebra in symbolic computation (Western University, Canada) |
Lihong Zhi - Symbolic-Numeric Computation (Academy of Mathematics and Systems Science, China) |
Michael Wester - 30 Years of Applications of Computer Algebra (ACA), A Personal Perspective (University of New Mexico, USA) |
SS8 - D-Finite Functions and Beyond: Algorithms, Combinatorics, and Arithmetic
SS9 - Algebraic geometry from an algorithmic point of view
SS10 - Algebraic and Algorithmic Aspects of Differential and Integral Operators Session
SS11 - Sparse Interpolation and Technology
Annie Cuyt - Sparse Interpolation in CS&E (University of Stirling and University of Antwerp, United Kingdom and Belgium) |
Anthony O'Hare - Exponential Analysis for Net Operational Balance Forecasting (University of Stirling, United Kingdom) |
Ramonika Sengupta - A Fast Exponential Analysis and Variable Projection Based Method for Linear Antenna Array Synthesis (Eindhoven University of Technology, The Netherlands) |
Garrett Paluck - A new black box GCD algorithm using sparse Hensel lifting (Simon Fraser University, Canada) |
SS12 - Symbolic-Numeric Computation
Arnaud Minondo - Static bounds for straight-line programs (CNRS, LIX,, France) |
Jürgen Gerhard - Multivariate Complex Solver in Maple 2024 (Maplesoft, Canada) |
Matías Bender - Solving bihomogeneous polynomial systems with a zero-dimensional projection (Inria - École Polytechnique, France) |
Máté László Telek - Copositive geometry of Feynman integrals (Max Planck Institute for Mathematics in the Sciences, Germany) |
Tülay Ayyıldız - A symbolic-numeric method for certified eigenvalue localization (Gebze Technical University, Türkiye) |
SS13 - Advances in Coding Theory: Algebraic, Combinatorial and Computational Methods
Daniel Panario - Girth Analysis of Quantum Quasi-Cyclic LDPC Codes (Carleton University, Canada) |
Buket Özkaya - Characterization of Nearly Self-Orthogonal Quasi-Twisted Codes and Related Quantum Codes (Middle East Technical University, Türkiye) |
Burcu Gülmez Temür - On the complete characterization of a class of permutation trinomials in characteristic five (Atılım University, Türkiye) |
Chiara Castello - Some constructions of asymptotically optimal cyclic subspace codes (University of Campania "L. Vanvitelli", Italy) |
Giovanni Longobardi - Scattered trinomials of F_{q^6}[X] in even characteristic (University of Naples Federico II, Italy) |
Iliya Bouyukliev - Graph isomorphism and isomorphism of binary matrices (Institute of Mathematics and Informatics, BAS, Bulgaria) |
Mariya Dzhumalieva-Stoeva - Enumeration of optimal binary and ternary linear codes with different hull dimensions (St. Cyril and St. Methodius University of Veliko Tarnovo, Bulgaria) |
Maryam Bajalan - On the minimum distance and covering radius of irredundant orthogonal arrays (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Bulgaria) |
Peter Boyvalenkov - On a spherical code with 2025 points (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Bulgaria) |
Stefka Bouyuklieva - On the hulls of linear codes (St. Cyril and St. Methodius University of Veliko Tarnovo, Bulgaria) |
Stela Zhelezova - Resolutions of cyclic 2-(40,4,1) designs (Institute of Mathematics and Informatics, BAS, Bulgaria) |
Peter Dragnev - Universal polarization of sharp codes in the Leech lattice (Purdue University Fort Wayne, USA) |
SS14 - Finite Fields and Applications
SS15 - Reliable numerical computing and differential equations
Barbara Betti - Proudfoot-Speyer degenerations of scattering equations (Max Planck Institute MiS Leipzig, Germany) |
Alexandre Guillemot - Braid monodromy computations using certified path tracking (Inria Saclay, France) |
Fabrice Rouillier - Some challenges and applications for continuation methods for solving algebraic systems (Inria, France) |
Fredrik Johansson - Vector-friendly numbers with n-word precision (Inria Bordeaux, France) |
Long Qian - Logical Completeness of Differential Equations (Carnegie Mellon University, USA) |
SS16 - Solving Matrix and Tensor Equations
Mengyan Xie - Fixed-Time Tensor Gradient Neural Network for Online Sylvester Tensor Equation Solving (Shanghai Ocean University, China) |
Xiaodong Zhang - The A_α-spectral radius of uniform hypergraphs (Shanghai Jiao Tong University, China) |
Yang Zhang - Solving reduced biquaternion tensor equations and applications (University of Manitoba, Canada) |
Dingkang Wang - On minor prime factorization for rank-deficient multivariate polynomial matrices (Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China) |
Qingwen Wang - The generalized hand-eye calibration equation and its application (Shanghai University, China) |
SS17 - Combinatorial and Geometrical Methods in Contemporary Coding Theory
Alessandro Neri - The geometry of one-weight linear rank-metric codes (University of Naples Federico II, Italy) |
Luca Bastioni - Characteristic polynomial of linearized polynomials (University of South Florida, USA) |
Francesco Ghiandoni - Towards the classification of scattered binomials (University of Perugia, Italy) |
Valentina Pepe - Codes deriving from some subvarieties of the Segre variety (Sapienza University of Rome, Italy) |
Elisa Junghans - Construction of LDPC convolutional codes from Latin squares (Ilmenau University of Technology, Germany) |
Julia Lieb - Construction of partial unit-memory MDP convolutional codes with low encoding and decoding complexity (TU Ilmenau, Germany) |
Tefjol Pllaha - Quantum LDPC codes and decoding challenges (University of South Florida, USA) |
Michael Schaller - Lattices over Non-Archimedean Fields and Their Applications to Coding Theory (University of Zürich, Switzerland) |
Valentino Smaldore - Equivalences of rank distance codes (Università degli Studi di Padova, Italy) |
Rocco Trombetti - On the minimum weight of some geometric codes (Università degli Studi di Napoli Federico II, Italy) |
Cristina Fernández-Córdoba - Hamming weight distributions of linear simplex codes over finite chain rings and their Gray map (Universitat Autònoma de Barcelona, Spain) |
Carlos Vela Cabello - On some properties of the Gray map (Universität St Gallen, Switzerland) |