Topological closure of formal powers series ideals and application to topological rewriting theory. - Cyrille Chenavier; Thomas Cluzeau; Adya Musson-Leymarie (J. Symb. Comput., 2025)

Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series. - Adya Musson-Leymarie (CoRR, 2025)