With the Help of Codex: A Reproducible Proof Against the Jacobian Conjecture

9 points | by hemangkandwal a day ago