@misc{indiciae75806ce390cc,
  title = {Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series},
  author = {Adya Musson-Leymarie},
  year = {2025},
  doi = {10.1007/s11786-025-00618-0},
  url = {https://arxiv.org/abs/2507.04045},
  note = {Source identifier: 2507.04045}
}