The Equality Case of Ehrhart's Volume Conjecture
proved→proved
the equality case; the inequality was settled separately and is tracked on its own entry
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topology / Convex geometry
The Equality Case of Ehrhart's Volume Conjecture
the equality case; the inequality was settled separately and is tracked on its own entry
22Significance / 100
2Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
The Equality Case of Ehrhart's Volume Conjecture
Prior state unknown→proved
VibeMathed recorded: The Equality Case of Ehrhart's Volume Conjecture. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
Research memory
Claims and attempts
Scoped claims
the equality case; the inequality was settled separately and is tracked on its own entry
the equality case; the inequality was settled separately and is tracked on its own entry
Recorded attempts
Evidence graph
Connected research record
- →The Equality Case of Ehrhart's Volume Conjecture
parent of · event · correction
- →the equality case; the inequality was settled separately and is tracked on its own entry
parent of · claim · theorem
- →The Equality Case of Ehrhart's Volume Conjecture
parent of · event · claim reported