30th Applications of Computer Algebra - ACA 2025

Heraklion, Greece, July 14-18, 2025

NSC Session

NONCOMMUTATIVE SYMBOLIC COMPUTATION

Organizers:

Gérard H.E. DUCHAMP (Sorbonne University - Paris Nord, France, gheduchamp@gmail.com)

Vincel HOANG NGOC MINH (University of Lille, France, vincel.hoang-ngoc-minh@univ-lille.fr)

Hiroaki NAKAMURA (Osaka University, Japan, nakamura@math.sci.osaka-u.ac.jp)

Jianqiang ZHAO (The Bishop's School, USA, zhaoj8888@gmail.com)

Scopes: Noncommutative formal series are considered a successful generalization of language theory in

theoretical computer science. The combinatorics of these series is based on that of words, and these two

fields reinforce each other. They form an ideal framework for developing software based on computer

algebra systems with rigor and efficiency. In particular, they allow the symbolic manipulation of special

functions (such as Eulerian functions, hypergeometric functions, hyperlogarithms, harmonic sums, etc.)

and of special values (such as multiple zeta values, polyzetas, etc.) involved in solutions of differential

equations.

We invite contibutions with the following topics:

 Hopf Algebras and Their Combinatorics

 Ecalle's Mould Calculus

 Free Lie Algebras

 Noncommutative Differential Equations

 Representative Series

Call for abstracts:

If you are interested in giving a talk, you can send a proposal with title and abstract (2-3 pages) to both

organizers of the session. Abstracts should be prepared using the ACM CCA format. The deadline for

the submission of an abstract is May 30th 2025. Abstracts will be reviewed as they come in, so early

submission is encouraged!

Talks and Speakers (list in progress):