SS1 - Computer Algebra in Education
| 0. William Bauldry - Creating Stand-Alone Workspaces for Student Explorations with Maple |
| 1. Yasuyuki Kubo - Utilization of Algebrite in KeTLTS |
| 2. Setsuo Takato - Two Methods for Proving 'Japanese Theorem II' Using Maxima and KeTCindy: An Application of the MNR Method |
| 3. Michael Monagan - Mathematical Experiments for Mathematics Majors |
| 4. Masaki Suzuki - Cooperation of KeTCindyJS and Maxima |
| 5. Koji Nishiura - Educational Applications of Solving Sangaku Problems by the MNR Method with Maxima |
| 6. Chieko Komoda - Automatic Grading of Online Graph Plotting Problems |
| 7. Michel Beaudin - Questions and ideas from deceased colleagues that help us carry on |
| 8. Michel Beaudin - Questions and ideas from deceased colleagues that help us carry on |
| 9. Margherita Guida - An educational proposal to interpret linear systems |
| 10. Magdalena Skrzypiec - CAS and Improper Integral - a case study |
| 11. Thierry Noah Dana-Picard - Automated methods applied for the exploration of singularities of some curves |
| 12. Piedad Tolmos - Evaluation of the difficulty of a geometric statement: comparing ChatGPT and GeoGebra Discovery |
| 13. Eli Bagno - Collaboration with ChatGPT for research and teaching in algebraic combinatorics |
SS2 - Computer Algebra Software in the Life Sciences (CASinLife)
| 14. Fabrice Rouillier - On solving parametric systems |
| 15. Atsushi Mochizuki - Biological functions and functional modules originated in the structure of chemical reaction network |
| 16. Bryan Hernandez - Analyzing the dynamics and structure of biochemical reaction networks via network decomposition |
| 17. Nicola Vassena - Symbolic bifurcation analysis of reaction networks with Python. Part I: Theory |
| 18. Richard Golnik - Symbolic bifurcation analysis of reaction networks with Python. Part II: Implementation |
| 19. Ovidiu Radulescu - Graph-Theoretic Algorithms for Reducing Chemical Reaction Networks |
| 20. Robert Lewis - New Results about Bricard’s Flexible Octahedra |
| 21. Marcus Aichmayr - Reaction networks with (generalized) mass-action kinetics: Sign vector conditions for the existence of a unique general equilibrium |
| 22. Jack Jansma - Bayesian inference of interaction rates in a metabolite-bacteria network using time-series counts |
| 23. Andrzej Mizera - Graph Neural Network-Based Reinforcement Learning for Controlling Biological Networks - the GATTACA framework |
SS3 - Computer algebra in group theory and representation theory
| 24. Ilias Andreou - The representations of the Brauer-Chen algebra associated to the exceptional complex reflection groups |
| 25. Maria Chlouveraki - Blocks and Schur elements for Hecke algebras of exceptional complex reflection groups |
| 26. Dinushi Munasinghe - Steadied quotients of KLR algebras |
| 27. Götz Pfeiffer - Reflection Groups in the Light of Formal Concept Analysis |
| 28. Kostas Psaromiligkos - The generalized Springer correspondence for disconnected reductive groups |
| 29. Benedek Dombos - Decomposition of affine crystals in levels 1 and 2 |
| 30. Christos Tatakis - TBA |
| 31. Zafeirakis Zafeirakopoulos - TBA |
SS4 - Computational Differential and Difference Algebra and Their Applications
| 32. Jing Yang - Subresultants of Several Ore Polynomials |
| 33. Raffaele Vitolo - Reduce package for Differential Operators in Mathematical Physics and Theoretical PhysicsA |
| 34. Varadharaj RaviSrinivasan - Iterated strongly normal extensions and nonlinear differential equations |
| 35. Alexander Levin - Gröbner type Bases with Respect to the Effective Order and Bivariate Dimension Polynomials of Difference Modules |
| 36. Roberto La Scala - Stream cipher over Finite Fields: A Difference Algebra Approach |
| 37. Thierry Combot - Symbolic integration on a planar differential foliation |
| 38. 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
| 39. Saltanat Bizhanova - Secular perturbations in the four-body system with anisotropically varying masses |
| 40. Saltanat Bizhanova - Studying the secular perturbations in the three-planetary four-body problem with isotropically varying masses |
| 41. Alexander Prokopenya - Symbolic computations in studying the stability of nonlinear oscillations of the mathematical pendulum |
| 42. Haiduke Sarafian - Oscillation analysis of a bifilar pendulum with Mathematica |
| 43. Haiduke Sarafian - Kinematics of a point-like charged particle under the influence of electric fields of unusually charged washers |
| 44. Ryszard Kozera - Convergence order in trajectory estimation with piecewise Bezier cubic curves based on reduced data |
| 45. Arkadiusz Orłowski - Possible ordering of mode, median, and mean in unimodal distributions |
| 46. Arkadiusz Orłowski - Classification of universal decision elements using computer algebra system |
| 47. Setsuo Takato - An attempt to create teaching materials for the Brachistochrone curve using Alberrite and TeTLTS |
SS6 - Symbolic Linear Algebra and Its Applications
SS7 - History of Computer Algebra
SS8 - D-Finite Functions and Beyond: Algorithms, Combinatorics, and Arithmetic
| 48. Shachar Weinbaum - Conservative Matrix Fields - Algebra and Asymptotics |
| 49. Ali K. Uncu - A MacMahon Partition Analysis View of Cylindric Partitions |
| 50. Bertrand Teguia Tabuguia - Guessing and arithmetic of D-algebraic sequences |
| 51. Georg Regensburger - Integro-differential rings and generalized shuffle relations |
| 52. Jakob Obrovsky - A direct solver for coupled systems of recurrence equations over ΠΣ∗-fields |
| 53. Manuel Kauers - TBA |
| 54. Robert Green - Non-commutative D-finite & D-algebraic power series and formal languages |
SS9 - Algebraic geometry from an algorithmic point of view
| 55. Martin Weimann - Improving convex-dense bivariate factorization |
| 56. Pietro Sabatino - A computer-aided construction of non-homeomorphic double Kodaira fibrations that possess the same biregular invariants |
| 57. Elena Sammarco - Constructing nonspecial divisors in the moduli space of cubic fourfolds |
| 58. Simone Pesatori - The moduli space of rational elliptic surfaces |
| 59. Abhiram Natarajan - Gröbner bases native to finitely generated commutative algebras with term order, with application to the Hodge algebra of minors |
| 60. Gal Goren - Computational Generation of Zariski Pairs in Conic-Line Arrangements |
| 61. Özhan Genç - Homogenous Instanton Bundles on Grassmannians |
| 62. Barbara Betti - Khovanskii bases in computer algebra |
| 63. Sara Asensio - On the shape of Betti diagrams of edge ideals |
| 64. Meirav Amram (Topol) - Computational Classification and Generation of Algebraic Surfaces and Curves via Algorithms |
| 65. Florent Corniquel - Solving parametric polynomial systems using generic Rational Univariate Representation |
| 66. Yota Maeda - Geometric Foundations for Transformer in Gröbner Basis Computation |
| 67. Matthias Orth - The Gröbner basis for powers of a general linear form in a monomial complete intersection |
SS10 - Algebraic and Algorithmic Aspects of Differential and Integral Operators Session
| 68. Manuel Kauers - A Shape Lemma for Ideals of Differential Operators |
| 69. Antonio Jiménez-Pastor - Computing centralizers for linear differential operators |
| 70. Clemens Hofstadler - Recent Advancements in Noncommutative Gröbner Basis Software |
| 71. Florian Fürnsinn - An Effective Version of the Grothendieck p-curvature Conjecture for Order One Differential Equations |
| 72. Thierry Combot - Hypergeometric solutions of elliptic difference equations |
| 73. Cyrille Chenavier - Topological closure of formal powers series ideals and application to topological rewriting theory |
| 74. Manfred Buchacher - Separated Variables on Plane Algebraic Curves |
| 75. Hadrien Brochet - Faster multivariate integration in D-modules |
| 76. Peter Krug - Undecidability of Noncommutative Ideal Membership and Counterexamples of Operator Statements |
| 77. Alexander Levin - Generalized Gröbner Bases and Dimension Polynomials of D-modules |
| 78. Tobias Metzlaff - Combining Sparsity and Symmetry Exploitation for SOS-Certificates |
| 79. Bertrand Teguia Tabuguia - Closed forms of power series with hypergeometric-type terms |
| 80. Chia Zargeh - An algorithmic problem for Nijenhuis Lie algebras |
| 81. Yi Zhang - The Expansion Complexity of Ultimately Periodic Sequences over Finite Fields |
| 82. Alessandro Neri - Combinatorics of Schubert Cells in Random Network Coding |
| 83. Khalil Ghorbal - The Shimizu–Morioka System Has No Nontrivial Darboux Polynomials |
SS11 - Sparse Interpolation and Technology
SS12 - Symbolic-Numeric Computation
SS13 - Advances in Coding Theory: Algebraic, Combinatorial and Computational Methods
| 84. Daniel Panario - TBA |
| 85. Buket Özkaya - Characterization of Nearly Self-Orthogonal Quasi-Twisted Codes and Related Quantum Codes |
| 86. Burcu Gülmez Temür - On the complete characterization of a class of permutation trinomials in characteristic five |
| 87. Lucas Da Silva Reis - Some constructions of asymptotically optimal cyclic subspace codes |
| 88. Giovanni Longobardi - Scattered trinomials of F_{q^6}[X] in even characteristic |
| 89. Iliya Bouyukliev - Graph isomorphism and isomorphism of binary matrices |
| 90. Mariya Dzhumalieva-Stoeva - Enumeration of optimal binary and ternary linear codes with different hull dimensions |
| 91. Maryam Bajalan - On the minimum distance and covering radius of irredundant orthogonal arrays |
| 92. Peter Boyvalenkov - On a spherical code with 2025 points |
| 93. Stefka Bouyuklieva - On the hulls of linear codes |
| 94. Stela Zhelezova - Resolutions of cyclic 2-(40,4,1) designs |
| 95. Peter Dragnev - Universal polarization of sharp codes in the Leech lattice |
SS14 - Finite Fields and Applications
| 96. Alev Topuzoglu - A new tool for differential analysis of functions in characteristic 2 |
| 97. Qiang (Steven) Wang - On constructing bent functions from cyclotomic mappings |
| 98. Tekgül Kalaycı - Bent partitions, vectorial dual-bent functions, and association schemes |
| 99. Irene Villa - Quadratic-like permutations over F_n^2 |
| 100. Dimitris Simos - Algebraic and SAT Methods for Classes of Covering Arrays |
| 101. John Sheekey - Invariant Polynomials and Cyclic Line Spreads |
| 102. Ferruh Ozbudak - Further results on covering radii of some codes and their connections |
| 103. Giorgos Kapetanakis - Normal and primitive normal elements with prescribed traces in intermediate extensions of finite fields |
| 104. Domingo Gómez-Pérez - Automatic Sequences Along Polynomial Subsequences and Their Applications |
| 105. Michael Monagan - Factoring Multilinear Boolean Polynomials |
| 106. 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 |
| 107. Lucas Da Silva Reis - Nilpotent linearized polynomials and applications |
SS15 - Reliable numerical computing and differential equations
| 108. Barbara Betti - |
| 109. Alexandre Guillemot - |
| 110. Fredrik Johansson - |
| 111. Long Qian - |
SS16 - Solving Matrix and Tensor Equations
| 112. Mengyan Xie - Fixed-Time Tensor Gradient Neural Network for Online Sylvester Tensor Equation Solving |
| 113. Xiaodong Zhang - The A_α-spectral radius of uniform hypergraphs |
| 114. Yang Zhang - Solving reduced biquaternion tensor equations and applications |
| 115. Dingkang Wang - On minor prime factorization for rank-deficient multivariate polynomial matrices |
SS17 - Combinatorial and Geometrical Methods in Contemporary Coding Theory
| 116. Luca Bastioni - Characteristic polynomial of linearized polynomials |
| 117. Francesco Ghiandoni - Towards the classification of scattered binomials |
| 118. Valentina Pepe - Codes deriving from some subvarieties of the Segre variety |
| 119. Elisa Junghans - Construction of LDPC convolutional codes from Latin squares |
| 120. Julia Lieb - Construction of partial unit-memory MDP convolutional codes with low encoding and decoding complexity |
| 121. Tefjol Pllaha - Quantum LDPC codes and decoding challenges |
| 122. Michael Schaller - Lattices over Non-Archimedean Fields and Their Applications to Coding Theory |
| 123. Valentino Smaldore - Equivalences of rank distance codes |
| 124. Rocco Trombetti - On the minimum weight of some geometric codes |
| 125. Cristina Fernández-Córdoba - Hamming weight distributions of linear simplex codes over finite chain rings and their Gray map |
| 126. Carlos Vela Cabello - On some properties of the Gray map |
SS18 - Noncommutative Symbolic Computation
| 127. Jianqiang Zhao - Unramified Variants of Motivic Multiple Zeta Values |
| 128. Vincel Hoang Ngoc Minh - Various bialgebras of representative functions on free monoids |
| 129. Steven Charlton - Goncharov's Programme, and Symmetries of Weight 6 Multiple Polylogarithms |
| 130. Van Chien Bui - Various Products of Representative Series and Some Applications |
| 131. Olivier Bouillot - Multiple Divided Bernoulli Polynomials and Numbers |