Reproduce “Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.