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 collection of open problems drawn from published lists, including Cahen, Fontana, Frisch and Glaz's Open Problems in Commutative Ring Theory and Erman and Sam's survey of Boij-Soderberg theory, each proved or disproved by one automated reasoning system, with the precise statement and a self-contained proof recorded per problem.
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 collection of open problems drawn from published lists, including Cahen, Fontana, Frisch and Glaz's Open Problems in Commutative Ring Theory and Erman and Sam's survey of Boij-Soderberg theory, each proved or disproved by one automated reasoning system, with the precise statement and a self-contained proof recorded per problem.
a batch of problems from published lists, resolved in one paper
Recorded attempts
Evidence graph
Connected research record
No public relationships recorded yet.