SS1 - Computer Algebra in Education
William Bauldry - Creating Stand-Alone Workspaces for Student Explorations with Maple |
Yasuyuki Kubo - Utilization of Algebrite in KeTLTS |
Setsuo Takato - Two Methods for Proving 'Japanese Theorem II' Using Maxima and KeTCindy: An Application of the MNR Method |
Michael Monagan - Mathematical Experiments for Mathematics Majors |
Masaki Suzuki - Cooperation of KeTCindyJS and Maxima |
Koji Nishiura - Educational Applications of Solving Sangaku Problems by the MNR Method with Maxima |
Chieko Komoda - Automatic Grading of Online Graph Plotting Problems |
Michel Beaudin - Questions and ideas from deceased colleagues that help us carry on (I) |
Michel Beaudin - Questions and ideas from deceased colleagues that help us carry on (II) |
Margherita Guida - An educational proposal to interpret linear systems |
Magdalena Skrzypiec - CAS and Improper Integral - a case study |
Thierry Noah Dana-Picard - Automated methods applied for the exploration of singularities of some curves |
Piedad Tolmos - Evaluation of the difficulty of a geometric statement: comparing ChatGPT and GeoGebra Discovery |
Eli Bagno - Collaboration with ChatGPT for research and teaching in algebraic combinatorics |
SS2 - Computer Algebra Software in the Life Sciences (CASinLife)
Fabrice Rouillier - On solving parametric systems |
Atsushi Mochizuki - Biological functions and functional modules originated in the structure of chemical reaction network |
Bryan Hernandez - Analyzing the dynamics and structure of biochemical reaction networks via network decomposition |
Nicola Vassena - Symbolic bifurcation analysis of reaction networks with Python. Part I: Theory |
Richard Golnik - Symbolic bifurcation analysis of reaction networks with Python. Part II: Implementation |
Ovidiu Radulescu - Graph-Theoretic Algorithms for Reducing Chemical Reaction Networks |
Robert Lewis - New Results about Bricard’s Flexible Octahedra |
Sofia Triantafyllou - Learning treatment effects from multiple data |
Marcus Aichmayr - Reaction networks with (generalized) mass-action kinetics: Sign vector conditions for the existence of a unique general equilibrium |
Jack Jansma - Bayesian inference of interaction rates in a metabolite-bacteria network using time-series counts |
Andrzej Mizera - Graph Neural Network-Based Reinforcement Learning for Controlling Biological Networks - the GATTACA framework |
AmirHosein Sadeghimanesh - Using ML tools to predict number of solutions of parametric system of polynomial equations with the help of CRNs |
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 |
Maria Chlouveraki - Blocks and Schur elements for Hecke algebras of exceptional complex reflection groups |
Dinushi Munasinghe - Steadied quotients of KLR algebras |
Götz Pfeiffer - Reflection Groups in the Light of Formal Concept Analysis |
Kostas Psaromiligkos - The generalized Springer correspondence for disconnected reductive groups |
Benedek Dombos - Decomposition of affine crystals in levels 1 and 2 |
Christos Tatakis - Toric ideals of graphs minimally generated by a Gröbner basis |
Maria Chatzikyriakou - Coxeter groups via Cartan matrices |
Daniel Juteau - The exotic nilCoxeter algebra for G(m, m, 3) |
Angeliki-Aikaterini Metallinou - Matroids |
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 |
Bo Huang - Integrability and Linearizability of a Family of Three-Dimensional Polynomial Systems |
Varadharaj RaviSrinivasan - Iterated strongly normal extensions and nonlinear differential equations |
Alexander Levin - Gröbner type Bases with Respect to the Effective Order and Bivariate Dimension Polynomials of Difference Modules |
Roberto La Scala - Stream cipher over Finite Fields: A Difference Algebra Approach |
Thierry Combot - Symbolic integration on a planar differential foliation |
Volodymyr Bavula - Affirmative answer to the Question of Leroy and Matczuk on injectivity of endomorphisms of semiprime left Noetherian rings with large images |
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 |
Saltanat Bizhanova - Study of the secular perturbations in the three-planetary four-body problem with isotropically varying masses |
Alexander Prokopenya - Symbolic computations in studying the stability of nonlinear oscillations of the mathematical pendulum |
Haiduke Sarafian - Oscillation analysis of a bifilar pendulum with Mathematica |
Haiduke Sarafian - Kinematics of a point-like charge particle in nontrivial nonhomogeneous electric fields of charged washers |
Ryszard Kozera - Convergence order in trajectory estimation with piecewise Bezier cubic curves based on reduced data |
Arkadiusz Orłowski - Possible orderings of mode, median, and mean in unimodal distributions |
Arkadiusz Orłowski - Classification of universal decision elements using computer algebra system |
Setsuo Takato - An attempt to create teaching materials for the Brachistochrone curve using Algebrite and KeTLTS |
SS6 - Symbolic Linear Algebra and Its Applications
Rob Corless - On the maximal spread of symmetric Bohemian matrices |
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 |
George Labahn - Tools for fast computation of integer matrix normal forms |
Arne Storjohann - Computing Hermite normal forms of integer matrices faster |
Eunice Chan - Homotopy Methods for Computing Roots of Mandelbrot Polynomials |
Erich Kaltofen - Sparse Interpolation in Chebyshev Basis: Early Termination and Georg Heinig’s Toeplitz Solver |
SS7 - History of Computer Algebra
Stephen Watt - Portability of early CAS |
Sasaki Tateaki - Symbolic computation in 1974-1976 in Japan |
Arthur Norman - 60+ years of applications: a perspective from Reduce |
Michael Monagan - A history of efficiency problems in Maple |
David Jeffrey - Soft Warehouse, Derive and Computer Algebra |
Jürgen Gerhard - A personal history with computer algebra |
Rob Corless - Analysis vs algebra in symbolic computation |
Lihong Zhi - Symbolic-Numeric Computation |
Michael Wester - 30 Years of Applications of Computer Algebra (ACA), A Personal Perspective |
SS8 - D-Finite Functions and Beyond: Algorithms, Combinatorics, and Arithmetic
Shachar Weinbaum - Conservative Matrix Fields - Algebra and Asymptotics |
Ali K. Uncu - A MacMahon Partition Analysis View of Cylindric Partitions |
Frédéric Chyzak - Computing D-Finite Symmetric Scalar Products in Order to Count Regular Graphs |
Julien Roques - A purity theorem for Mahler equations |
Bertrand Teguia Tabuguia - Guessing and arithmetic of D-algebraic sequences |
Georg Regensburger - Integro-differential rings and generalized shuffle relations |
Jakob Obrovsky - A direct solver for coupled systems of recurrence equations over ΠΣ∗-fields |
Manuel Kauers - Non-Minimality of Minimal Telescopers Explained by Residues |
Robert Green - Non-commutative D-finite & D-algebraic power series and formal languages |
SS9 - Algebraic geometry from an algorithmic point of view
Martin Weimann - Improving convex-dense bivariate factorization |
Werner M. Seiler - Deterministic Determination of Axial Constants and Sectional Regularities |
Pietro Sabatino - A computer-aided construction of non-homeomorphic double Kodaira fibrations that possess the same biregular invariants |
Elena Sammarco - Constructing nonspecial divisors in the moduli space of cubic fourfolds |
Simone Pesatori - The moduli space of rational elliptic surfaces |
Abhiram Natarajan - Gröbner bases native to finitely generated commutative algebras with term order, with application to the Hodge algebra of minors |
Gal Goren - Computational Generation of Zariski Pairs in Conic-Line Arrangements |
Özhan Genç - Homogenous Instanton Bundles on Grassmannians |
Barbara Betti - Khovanskii bases in computer algebra |
Sara Asensio - On the shape of Betti diagrams of edge ideals |
Meirav Amram (Topol) - Computational Classification and Generation of Algebraic Surfaces and Curves via Algorithms |
Florent Corniquel - Solving parametric polynomial systems using generic Rational Univariate Representation |
Yota Maeda - Geometric Foundations for Transformer in Gröbner Basis Computation |
Matthias Orth - The Gröbner basis for powers of a general linear form in a monomial complete intersection |
Alessandro Neri - Combinatorics of Schubert Cells in Random Network Coding |
SS10 - Algebraic and Algorithmic Aspects of Differential and Integral Operators Session
Manuel Kauers - A Shape Lemma for Ideals of Differential Operators |
Antonio Jiménez-Pastor - Computing centralizers for linear differential operators |
Vincel Hoang Ngoc Minh - Solutions of Knizhnik-Zamolodchikov equation by dévissage |
Clemens Hofstadler - Recent Advancements in Noncommutative Gröbner Basis Software |
Florian Fürnsinn - An Effective Version of the Grothendieck p-curvature Conjecture for Order One Differential Equations |
Thierry Combot - Hypergeometric solutions of elliptic difference equations |
Cyrille Chenavier - Topological closure of formal powers series ideals and application to topological rewriting theory |
Manfred Buchacher - Separated Variables on Plane Algebraic Curves |
Hadrien Brochet - Faster multivariate integration in D-modules |
Peter Krug - Undecidability of Noncommutative Ideal Membership and Counterexamples of Operator Statements |
Alexander Levin - Generalized Gröbner Bases and Dimension Polynomials of D-modules |
Tobias Metzlaff - Combining Sparsity and Symmetry Exploitation for SOS-Certificates |
Bertrand Teguia Tabuguia - Closed forms of power series with hypergeometric-type terms |
Chia Zargeh - An algorithmic problem for Nijenhuis Lie algebras |
Yi Zhang - The Expansion Complexity of Ultimately Periodic Sequences over Finite Fields |
Khalil Ghorbal - The Shimizu-Morioka System Has No Nontrivial Darboux Polynomials |
Sergei Abramov - The indicial equation of the product of linear ordinary differential operators |
Yulia Mukhina - New algorithm for differential elimination based on support bound |
SS11 - Sparse Interpolation and Technology
Annie Cuyt - Sparse Interpolation in CS&E |
Anthony O'Hare - Exponential Analysis for Net Operational Balance Forecasting |
Ramonika Sengupta - A Fast Exponential Analysis and Variable Projection Based Method for Linear Antenna Array Synthesis |
Garrett Paluck - A new black box GCD algorithm using sparse Hensel lifting |
SS12 - Symbolic-Numeric Computation
Arnaud Minondo - Static bounds for straight-line programs |
Jürgen Gerhard - Multivariate Complex Solver in Maple 2024 |
Matías Bender - Solving bihomogeneous polynomial systems with a zero-dimensional projection |
Máté László Telek - Copositive geometry of Feynman integrals |
Tülay Ayyıldız - A symbolic-numeric method for certified eigenvalue localization |
SS13 - Advances in Coding Theory: Algebraic, Combinatorial and Computational Methods
Daniel Panario - Girth Analysis of Quantum Quasi-Cyclic LDPC Codes |
Buket Özkaya - Characterization of Nearly Self-Orthogonal Quasi-Twisted Codes and Related Quantum Codes |
Burcu Gülmez Temür - On the complete characterization of a class of permutation trinomials in characteristic five |
Chiara Castello - Some constructions of asymptotically optimal cyclic subspace codes |
Giovanni Longobardi - Scattered trinomials of F_{q^6}[X] in even characteristic |
Iliya Bouyukliev - Graph isomorphism and isomorphism of binary matrices |
Mariya Dzhumalieva-Stoeva - Enumeration of optimal binary and ternary linear codes with different hull dimensions |
Maryam Bajalan - On the minimum distance and covering radius of irredundant orthogonal arrays |
Peter Boyvalenkov - On a spherical code with 2025 points |
Stefka Bouyuklieva - On the hulls of linear codes |
Stela Zhelezova - Resolutions of cyclic 2-(40,4,1) designs |
Peter Dragnev - Universal polarization of sharp codes in the Leech lattice |
SS14 - Finite Fields and Applications
Alev Topuzoglu - A new tool for differential analysis of functions in characteristic 2 |
Qiang (Steven) Wang - On constructing bent functions from cyclotomic mappings |
Tekgül Kalaycı - Bent partitions, vectorial dual-bent functions, and association schemes |
Irene Villa - Quadratic-like permutations over F_n^2 |
Dimitris Simos - Algebraic and SAT Methods for Classes of Covering Arrays |
John Sheekey - Invariant Polynomials and Cyclic Line Spreads |
Ferruh Ozbudak - Further results on covering radii of some codes and their connections |
Giorgos Kapetanakis - Normal and primitive normal elements with prescribed traces in intermediate extensions of finite fields |
Domingo Gómez-Pérez - Automatic Sequences Along Polynomial Subsequences and Their Applications |
Michael Monagan - Factoring Multilinear Boolean Polynomials |
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 |
Lucas Da Silva Reis - Nilpotent linearized polynomials and applications |
SS15 - Reliable numerical computing and differential equations
Barbara Betti - Proudfoot-Speyer degenerations of scattering equations |
Alexandre Guillemot - Braid monodromy computations using certified path tracking |
Fabrice Rouillier - Some challenges and applications for continuation methods for solving algebraic systems |
Fredrik Johansson - Vector-friendly numbers with n-word precision |
Long Qian - Logical Completeness of Differential Equations |
SS16 - Solving Matrix and Tensor Equations
Mengyan Xie - Fixed-Time Tensor Gradient Neural Network for Online Sylvester Tensor Equation Solving |
Xiaodong Zhang - The A_α-spectral radius of uniform hypergraphs |
Yang Zhang - Solving reduced biquaternion tensor equations and applications |
Dingkang Wang - On minor prime factorization for rank-deficient multivariate polynomial matrices |
Qingwen Wang - The generalized hand-eye calibration equation and its application |
SS17 - Combinatorial and Geometrical Methods in Contemporary Coding Theory
Alessandro Neri - The geometry of one-weight linear rank-metric codes |
Luca Bastioni - Characteristic polynomial of linearized polynomials |
Francesco Ghiandoni - Towards the classification of scattered binomials |
Valentina Pepe - Codes deriving from some subvarieties of the Segre variety |
Elisa Junghans - Construction of LDPC convolutional codes from Latin squares |
Julia Lieb - Construction of partial unit-memory MDP convolutional codes with low encoding and decoding complexity |
Tefjol Pllaha - Quantum LDPC codes and decoding challenges |
Michael Schaller - Lattices over Non-Archimedean Fields and Their Applications to Coding Theory |
Valentino Smaldore - Equivalences of rank distance codes |
Rocco Trombetti - On the minimum weight of some geometric codes |
Cristina Fernández-Córdoba - Hamming weight distributions of linear simplex codes over finite chain rings and their Gray map |
Carlos Vela Cabello - On some properties of the Gray map |
SS18 - Noncommutative Symbolic Computation
Jianqiang Zhao - Unramified Variants of Motivic Multiple Zeta Values |
Quoc Hoan Ngo - Families of Eulerian Functions Involved in Regularization of Divergent Polyzetas |
Vu Nguyen Dinh - A Generalization of Magnus Duality |
Kohei Kitamura - A Combinatorial Property of Multiple Polylogarithms at Non-positive Indices |
Nao Komiyama - On Kashiwara-Vergne Lie Algebra and Double Shuffle Lie Algebra in Mould Theory |
Vincel Hoang Ngoc Minh - Various bialgebras of representative functions on free monoids |
Steven Charlton - Goncharov's Programme, and Symmetries of Weight 6 Multiple Polylogarithms |
Van Chien Bui - Various Products of Representative Series and Some Applications |
Olivier Bouillot - Multiple Divided Bernoulli Polynomials and Numbers |
Jean-Yves Enjalbert - Multiplicative structure of some multivariate functions |
Gérard H. E. Duchamp - Extension by continuity of the domain of Poly- and Hyper-logarithms |