Adya Musson-Leymarie

According to our database, Adya Musson-Leymarie authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series.

Adya Musson-Leymarie

CoRR, July, 2025

Topological closure of formal powers series ideals and application to topological rewriting theory.

Cyrille Chenavier, Thomas Cluzeau, Adya Musson-Leymarie

J. Symb. Comput., 2025