jacobian-conjecture-dag.json is a directed graph of theorems, conjectures, and
open problems connected to the Jacobian Conjecture (JC) — the 1939 (Keller)
/ 1884 (Kraus) conjecture that a polynomial self-map of affine n-space with
constant nonzero Jacobian determinant must be a polynomial automorphism
(invertible with polynomial inverse). It is Smale's Problem #16.
Built from literature review: Wikipedia, nLab, Encyclopedia of Mathematics, zbMATH Open (confirmed via its public API — JC is indexed under MSC 14R15,