#

jacobian-conjecture

Here is 1 public repository matching this topic...

thefundamentaltheor3m / mathlib4

A fork of the Lean 4 mathematics library

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

Updated Jun 12, 2025
Lean

Improve this page

Add a description, image, and links to the jacobian-conjecture 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 jacobian-conjecture topic, visit your repo's landing page and select "manage topics."