30th Applications Computer Algebra- ACA 2025
Heraklion, Greece, July 14-18, 2025

Special Session 18 (NSC) NONCOMMUTATIVE SYMBOLIC COMPUTATION

Organizers:

Gérard H.E. DUCHAMP (Sorbonne University - Paris Nord, France)
Vincel HOANG NGOC MINH (University of Lille, France)
Hiroaki NAKAMURA (Osaka University, Japan)
Jianqiang ZHAO (The Bishop's School, USA)

Talk titles (abstracts, slides)
Schedule

Scope: Symbolic computation plays an important role in the study of many important functions and their special values. By constructing noncommutative formal series based on words using these symbols, one can often discover key properties of these functions and values in a uniform way. On the other hand, noncommutative formal series can be considered as a generalization of language theory in theoretical computer science. As the algorithms and combinatorics of these series are based on those of words, these two fields naturally 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 several classes of special functions (such as Eulerian functions, hypergeometric functions, hyperlogarithms, harmonic sums, etc.) and of special values involved in solutions of differential equations.

We invite contributions with the following topics:

·      Combinatorial Indexing and Calculus

·      Ecalle's Mould Calculus

·      Free Lie Algebras

·      Hopf Algebras and Their Combinatorics

·      Noncommutative Differential Equations

·      Multiple Zeta Values (or Zeta Polymorphism) and Polylogarithms

·      Representative Series (Sweedler's duals and their combinatorics)

 


Talk Titles

Speakers and Talks (Depending on circumstances, some people of the listed names may contribute only online) :

Olivier BOUILLOT

Title : Multiple Divided Bernoulli Polynomials and Numbers

( abstract ) (slides)

Van Chiên BUI

Title : Various Products of Representative Series and Some Applications

( abstract ) (slides)

Steven CHARLTON

Title : Goncharov's Programme, and Symmetries of Weight 6 Multiple Polylogarithms

( abstract ) ( slides )

Gérard H.E. DUCHAMP

Title : Extension by continuity of the domain of Poly- and Hyper-logarithms

( abstract ) ( slides)

Jean-Yves ENJALBERT

Title : Multiplicative structure of some multivariate functions

( abstract ) (slides)

Vincel HOANG NGOC MINH

Title : Various bialgebras of representative functions on free monoids

( abstract ) ( slides)

Kouhei KITAMURA

Title : A Combinatorial Property of Multiple Polylogarithms at Non-positive Indices

( abstract ) ( slides )

Nao KOMIAYMA

Title : On Kashiwara-Vergne Lie Algebra and Double Shuffle Lie Algebra in Mould Theory

( abstract ) (slides)

Quôc Hoàn NGO

Title : Families of Eulerian Functions Involved in Regularization of Divergent Polyzetas

( abstract ) (slides)

Vu NGUYEN DINH

Title : A Generalization of Magnus Duality

( abstract ) (slides)

Jianqiang ZHAO

Title : Unramified Variants of Motivic Multiple Zeta Values

( abstract ) (slides)


Schedule

14 July 2025.

Chairman: Vincel HOANG NGOC MINH

17:00-17:30. Speaker: Jianqiang ZHAO

17:30-18:00. Speaker: Steven CHARLTON

18:00-18:30. Speaker: Vincel HOANG NGOC MINH

18:30-19:00. Speaker (on line): Gérard H.E. DUCHAMP

16 July 2025.

Chairman: Jianqiang ZHAO

11:00-11:30. Speaker: Jean-Yves ENJALBERT

11:30-12:00. Speaker: Olivier BOUILLOT

18 July 2025.

Chairman: Olivier BOUILLOT

09:00-09:30. Speaker (on line): Kouhei KITAMURA

09:30-10:00. Speaker (on line): Van Chiên BUI

10:00-10:30. Speaker (on line): Quôc Hoàn NGO (cancelled)

10:30-11:00. Pause

Chairman: Jean-Yves ENJALBERT

11:00-11:30. Speaker (on line): Vu NGUYEN DINH

11:30-12:00. Speaker (on line): Nao KOMIAYMA