multivariate-polynomials

Here is 1 public repository matching this 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).

polynomials multivariate-polynomials automorphisms lean4 polynomial-algebras automorphisms-of-polynomial-algebras jacobian-conjecture shestakov-umirbaev-theory nagatas-conjecture

Updated Jun 8, 2023
Lean

Improve this page

Add a description, image, and links to the multivariate-polynomials topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the multivariate-polynomials topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

multivariate-polynomials

Here is 1 public repository matching this topic...

thefundamentaltheor3m / mathlib4-SU-Theory

Improve this page

Add this topic to your repo