Open Problems in Commutative Algebra Resolved by Rethlas
Prior state unknown→proved
a batch of problems from published lists, resolved in one paper
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
algebra / Commutative algebra
Open Problems in Commutative Algebra Resolved by Rethlas
a batch of problems from published lists, resolved in one paper
15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
a batch of problems from published lists, resolved in one paper
a batch of problems from published lists, resolved in one paper
Recorded attempts
Evidence graph
Connected research record
- →a batch of problems from published lists, resolved in one paper
parent of · claim · theorem
- →Open Problems in Commutative Algebra Resolved by Rethlas
parent of · event · claim reported