TY - RPRT TI - Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series AU - Adya Musson-Leymarie PY - 2025 DO - 10.1007/s11786-025-00618-0 UR - https://arxiv.org/abs/2507.04045 ID - 2507.04045 ER -