jacobian-conjecture
There are 1 repositories under jacobian-conjecture topic.
thefundamentaltheor3m/mathlib4-SU-Theory
An attempt to formalise Shestakov-Umirbaev Theory in Lean 4 based on Chapter 1 of Polynomial Automorphisms and the Jacobian Conjecture (van den Essen et al, 2021).