[ACA 2025 booklet](../assets/booklet.pdf)

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

William Bauldry - Creating Stand-Alone Workspaces for Student Explorations with Maple (ASU, USA)
Yasuyuki Kubo - Utilization of Algebrite in KeTLTS (Yuge KOSEN, Japan)
Setsuo Takato - Two Methods for Proving 'Japanese Theorem II' Using Maxima and KeTCindy: An Application of the MNR Method (KeTCindy Center, Japan)
Michael Monagan - Mathematical Experiments for Mathematics Majors (Fraser University, Canada)
Masaki Suzuki - Cooperation of KeTCindyJS and Maxima (National Institute of Technology, Numazu College, Japan)
Koji Nishiura - Educational Applications of Solving Sangaku Problems by the MNR Method with Maxima (National Institute of Technology, Fukushima College, Japan)
Chieko Komoda - Automatic Grading of Online Graph Plotting Problems (National Institute of Technology, Kurume College, Japan)
Michel Beaudin - Questions and ideas from deceased colleagues that help us carry on (I) (École de technologie supérieure, Canada)
Michel Beaudin - Questions and ideas from deceased colleagues that help us carry on (II) (École de technologie supérieure, Canada)
Margherita Guida - An educational proposal to interpret linear systems (Università di Napoli Federico II, Italy)
Magdalena Skrzypiec - CAS and Improper Integral - a case study (Maria Curie-Sklodowska University, Poland)
Thierry Noah Dana-Picard - Automated methods applied for the exploration of singularities of some curves (Jerusalem College of Technology, Israel)
Piedad Tolmos - Evaluation of the difficulty of a geometric statement: comparing ChatGPT and GeoGebra Discovery (Juan Carlos University, Spain)
Eli Bagno - Collaboration with ChatGPT for research and teaching in algebraic combinatorics (Jerusalem college of Technology, Israel)

SS2 - Computer Algebra Software in the Life Sciences (CASinLife)

Fabrice Rouillier - On solving parametric systems (Inria, France)
Atsushi Mochizuki - Biological functions and functional modules originated in the structure of chemical reaction network (Institute for Life and Medical Sciences, Kyoto University, Japan)
Bryan Hernandez - Analyzing the dynamics and structure of biochemical reaction networks via network decomposition (University of the Philippines Diliman, Philippines)
Nicola Vassena - Symbolic bifurcation analysis of reaction networks with Python. Part I: Theory (Leipzig University, Germany)
Richard Golnik - Symbolic bifurcation analysis of reaction networks with Python. Part II: Implementation (Leipzig University, Germany)
Ovidiu Radulescu - Graph-Theoretic Algorithms for Reducing Chemical Reaction Networks (University of Montpellier, France)
Robert Lewis - New Results about Bricard’s Flexible Octahedra (Fordham University, USA)
Sofia Triantafyllou - Learning treatment effects from multiple data (University of Crete, Greece)
Marcus Aichmayr - Reaction networks with (generalized) mass-action kinetics: Sign vector conditions for the existence of a unique general equilibrium (University of Kassel, Germany)
Jack Jansma - Bayesian inference of interaction rates in a metabolite-bacteria network using time-series counts (University of Stellenbosch, South Africa)
Andrzej Mizera - Graph Neural Network-Based Reinforcement Learning for Controlling Biological Networks - the GATTACA framework (University of Warsaw; IDEAS Research Institute, Poland)
AmirHosein Sadeghimanesh - Using ML tools to predict number of solutions of parametric system of polynomial equations with the help of CRNs (Coventry University, United Kingdom)

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

Subresultants of Several Ore Polynomials
Raffaele Vitolo - A Reduce package for Differential Operators in Mathematical Physics and Theoretical Physics (University of Salento, Italy)
Bo Huang - Integrability and Linearizability of a Family of Three-Dimensional Polynomial Systems (Beihang University, China)
Varadharaj RaviSrinivasan - Iterated strongly normal extensions and nonlinear differential equations (Indian Insititute of Science Education and Research Mohali, India)
Alexander Levin - Gröbner type Bases with Respect to the Effective Order and Bivariate Dimension Polynomials of Difference Modules (The Catholic University of America, USA)
Roberto La Scala - Stream cipher over Finite Fields: A Difference Algebra Approach (Università degli Studi di Bari, Italy)
Thierry Combot - Symbolic integration on a planar differential foliation (Université de Bourgogne, France)
Volodymyr Bavula - Affirmative answer to the Question of Leroy and Matczuk on injectivity of endomorphisms of semiprime left Noetherian rings with large images (University of Sheffield, United Kingdom)

SS5 - Computer algebra modeling in physics, classical and celestial mechanics, and engineering

Alexander Prokopenya - Secular perturbations in the four-body system with anisotropically varying masses (Warsaw University of Life Sciences, Poland)
Saltanat Bizhanova - Study of the secular perturbations in the three-planetary four-body problem with isotropically varying masses (Al-Farabi Kazakh National University, Kazakstan)
Alexander Prokopenya - Symbolic computations in studying the stability of nonlinear oscillations of the mathematical pendulum (Warsaw University of Life Sciences, Poland)
Haiduke Sarafian - Oscillation analysis of a bifilar pendulum with Mathematica (Pennsylvania State University, USA)
Haiduke Sarafian - Kinematics of a point-like charge particle in nontrivial nonhomogeneous electric fields of charged washers (Pennsylvania State University, USA)
Ryszard Kozera - Convergence order in trajectory estimation with piecewise Bezier cubic curves based on reduced data (Warsaw University of Life Sciences - SGGW, Poland)
Arkadiusz Orłowski - Possible orderings of mode, median, and mean in unimodal distributions (Instytut Informatyki Technicznej SGGW w Warszawie, Poland)
Arkadiusz Orłowski - Classification of universal decision elements using computer algebra system (Instytut Informatyki Technicznej SGGW w Warszawie, Poland)
Setsuo Takato - An attempt to create teaching materials for the Brachistochrone curve using Algebrite and KeTLTS (KeTCindy Center, Japan)

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

Shachar Weinbaum - Conservative Matrix Fields - Algebra and Asymptotics (Technion - Israel Institute of Technology, Israel)
Ali K. Uncu - A MacMahon Partition Analysis View of Cylindric Partitions (University of Bath, United Kingdom)
Frédéric Chyzak - Computing D-Finite Symmetric Scalar Products in Order to Count Regular Graphs (Inria, France)
Julien Roques - A purity theorem for Mahler equations (Université Lyon 1, France)
Bertrand Teguia Tabuguia - Guessing and arithmetic of D-algebraic sequences (University of Oxford, United Kingdom)
Georg Regensburger - Integro-differential rings and generalized shuffle relations (University of Kassel, Germany)
Jakob Obrovsky - A direct solver for coupled systems of recurrence equations over ΠΣ∗-fields (Johannes Kepler University Linz, Austria)
Manuel Kauers - Non-Minimality of Minimal Telescopers Explained by Residues (Johannes Kepler UniversityLinz, Austria)
Robert Green - Non-commutative D-finite & D-algebraic power series and formal languages (University of Colorado, Boulder, USA)

SS9 - Algebraic geometry from an algorithmic point of view

Martin Weimann - Improving convex-dense bivariate factorization (University Caen Normandy, France)
Werner M. Seiler - Deterministic Determination of Axial Constants and Sectional Regularities (Kassel University, Germany)
Pietro Sabatino - A computer-aided construction of non-homeomorphic double Kodaira fibrations that possess the same biregular invariants (Institute for High Performance Computing and Networking (ICAR-CNR), Italy)
Elena Sammarco - Constructing nonspecial divisors in the moduli space of cubic fourfolds (Università degli studi Roma Tre, Italy)
Simone Pesatori - The moduli space of rational elliptic surfaces (Università degli Studi Roma Tre, Italy)
Abhiram Natarajan - Gröbner bases native to finitely generated commutative algebras with term order, with application to the Hodge algebra of minors (University of Warwick, United Kingdom)
Gal Goren - Computational Generation of Zariski Pairs in Conic-Line Arrangements (Technion - Israel Institute of Technology, Israel)
Özhan Genç - Homogenous Instanton Bundles on Grassmannians (Jagiellonian University, Poland)
Barbara Betti - Khovanskii bases in computer algebra (Max Planck Institute MiS Leipzig, Germany)
Sara Asensio - On the shape of Betti diagrams of edge ideals (University of Valladolid, Spain)
Meirav Amram (Topol) - Computational Classification and Generation of Algebraic Surfaces and Curves via Algorithms (SCE, Israel)
Florent Corniquel - Solving parametric polynomial systems using generic Rational Univariate Representation (Sorbonne University and INRIA Paris, France)
Yota Maeda - Geometric Foundations for Transformer in Gröbner Basis Computation (TU Darmstadt/Tohoku University, Germany/Japan)
Matthias Orth - The Gröbner basis for powers of a general linear form in a monomial complete intersection (KU Leuven, Belgium)
Alessandro Neri - Combinatorics of Schubert Cells in Random Network Coding (University of Naples Federico II, Italy)

SS10 - Algebraic and Algorithmic Aspects of Differential and Integral Operators Session

Manuel Kauers - A Shape Lemma for Ideals of Differential Operators (Johannes Kepler UniversityLinz, Austria)
Antonio Jiménez-Pastor - Computing centralizers for linear differential operators (Universidad Politécnica de Madrid, Spain)
Vincel Hoang Ngoc Minh - Solutions of Knizhnik-Zamolodchikov equation by dévissage (University of Lille, France)
Clemens Hofstadler - Recent Advancements in Noncommutative Gröbner Basis Software (Johannes Kepler University, Austria)
Florian Fürnsinn - An Effective Version of the Grothendieck p-curvature Conjecture for Order One Differential Equations (University of Vienna, Austria)
Thierry Combot - Hypergeometric solutions of elliptic difference equations (Université de Bourgogne, France)
Cyrille Chenavier - Topological closure of formal powers series ideals and application to topological rewriting theory (Limoges University, France)
Manfred Buchacher - Separated Variables on Plane Algebraic Curves (Johannes Kepler Universität Linz, Austria)
Hadrien Brochet - Faster multivariate integration in D-modules (Inria Saclay, France)
Peter Krug - Undecidability of Noncommutative Ideal Membership and Counterexamples of Operator Statements (Universität Kassel, Germany)
Alexander Levin - Generalized Gröbner Bases and Dimension Polynomials of D-modules (The Catholic University of America, USA)
Tobias Metzlaff - Combining Sparsity and Symmetry Exploitation for SOS-Certificates (LAAS-CNRS, France)
Bertrand Teguia Tabuguia - Closed forms of power series with hypergeometric-type terms (University of Oxford, United Kingdom)
Chia Zargeh - An algorithmic problem for Nijenhuis Lie algebras (Modern College of Business and Science, Oman)
Yi Zhang - The Expansion Complexity of Ultimately Periodic Sequences over Finite Fields (Xi'an Jiaotong-Liverpool University, China)
Khalil Ghorbal - The Shimizu-Morioka System Has No Nontrivial Darboux Polynomials (INRIA, France)
Sergei Abramov - The indicial equation of the product of linear ordinary differential operators (MSU, Russia)
Yulia Mukhina - New algorithm for differential elimination based on support bound (LIX, CNRS, École polytechnique, Institute Polytechnique de Paris, France)

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

Alev Topuzoglu - A new tool for differential analysis of functions in characteristic 2 (Sabanci University, Türkiye)
Qiang (Steven) Wang - On constructing bent functions from cyclotomic mappings (Carleton University, Canada)
Tekgül Kalaycı - Bent partitions, vectorial dual-bent functions, and association schemes (Alpen-Adria-Universitat Klagenfurt, Austria)
Irene Villa - Quadratic-like permutations over F_n^2 (University of Trento, Italy)
Dimitris Simos - Algebraic and SAT Methods for Classes of Covering Arrays (Paris Lodron University of Salzburg and Salzburg University of Applied Sciences, Austria)
John Sheekey - Invariant Polynomials and Cyclic Line Spreads (University College Dublin, Ireland)
Ferruh Ozbudak - Further results on covering radii of some codes and their connections (Sabanci University, Türkiye)
Giorgos Kapetanakis - Normal and primitive normal elements with prescribed traces in intermediate extensions of finite fields (University of Thessaly, Greece)
Domingo Gómez-Pérez - Automatic Sequences Along Polynomial Subsequences and Their Applications (Universidad de Cantabria, Spain)
Michael Monagan - Factoring Multilinear Boolean Polynomials (Fraser University, Canada)
Lucia Moura - New covering arrays of strength-4 and q symbols from three truncated Möbius planes in P G(3, q), for odd prime power q (University of Ottawa, Canada)
Lucas Da Silva Reis - Nilpotent linearized polynomials and applications (Universidade Federal de Minas Gerais, Brazil)

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)

SS18 - Noncommutative Symbolic Computation

Jianqiang Zhao - Unramified Variants of Motivic Multiple Zeta Values (The Bishop's School, USA)
Quoc Hoan Ngo - Families of Eulerian Functions Involved in Regularization of Divergent Polyzetas (HaNoi University of science and technology, Vietnam)
Vu Nguyen Dinh - A Generalization of Magnus Duality (University of Science and Technology of Hanoi, Vietnam)
Kohei Kitamura - A Combinatorial Property of Multiple Polylogarithms at Non-positive Indices (The University of Osaka, Japan)
Nao Komiyama - On Kashiwara-Vergne Lie Algebra and Double Shuffle Lie Algebra in Mould Theory (Osaka university, Japan)
Vincel Hoang Ngoc Minh - Various bialgebras of representative functions on free monoids (University of Lille, France)
Steven Charlton - Goncharov's Programme, and Symmetries of Weight 6 Multiple Polylogarithms (Max Planck Institute for Mathematics, Bonn, Germany)
Van Chien Bui - Various Products of Representative Series and Some Applications (University of Sciences, Hue University, Vietnam)
Olivier Bouillot - Multiple Divided Bernoulli Polynomials and Numbers (Gustave Eiffel University, France)
Jean-Yves Enjalbert - Multiplicative structure of some multivariate functions (Lycée Jean-Batiste Corort, Savigny sur Orges, France)
Gérard H. E. Duchamp - Extension by continuity of the domain of Poly- and Hyper-logarithms (IHP and LIPN, Paris Sorbonne City, France)