Frozen verification package for the Alpöge–Fable counterexample to the Jacobian Conjecture in dimension 3 — six independent exact SymPy checks
-
Updated
Jul 27, 2026 - Python
#
jacobian-conjecture
Here are 23 public repositories matching this topic...
Sovereign Quantum Computer — QATAAUM compiler (OpenQASM 2/3, 9-level IR, SABRE) + execution kernel (Fortran 2018, MLIR, ARM64 SVE2, AVX-512, PTX). Jordan Spectral Transformer. Lean 4 formally verified. Blake3+Ed25519 WORM. FSL-1.1.
fortran formal-verification quantum-compiler quantum-computer sovereign openqasm mlir lean4 jacobian-conjecture born-rule snapkitty zero-sorry jordan-spectral-transformer worm-attestation qataaum
-
Updated
Aug 17, 2026 - Rust
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
Aug 10, 2026 - Lean
Formal Resolution of the Two-Dimensional Jacobian Conjecture in Lean 4 via Graded Differential Operators.
research mathematics algebraic-geometry formal-verification interactive-theorem-proving commutative-algebra formal-proofs mathlib differential-algebra lean4 differential-operators formalized-mathematics homogeneous-polynomials proof-by-contradiction jacobian-conjecture ai-augmented-research polynomial-automorphisms affine-algebraic-geometry
-
Updated
Jul 28, 2026 - Lean
AI agent (Fable 5) exploration of the Alpöge Jacobian Conjecture counterexample — 23 lab notes, ~130 scripts, complete seed-family atlas. Independent verification of core claims. No novelty claims — feedback and prior work references welcome.
-
Updated
Aug 4, 2026 - Python
Lean-certified audit of the 3D Jacobian counterexample and research toward JC(2)
-
Updated
Jul 22, 2026 - Python
Reproducible audit and structural study of the announced 3D Keller counterexample: collision geometry, inverse flows, escape laws, and maximal monodromy
-
Updated
Jul 20, 2026 - TeX
Official LaTeX source, proofs, and supplementary materials for "Sheaf-Theoretic Obstructions in Higher Dimensions and Topological Rigidity in the Affine Plane"
-
Updated
Aug 11, 2026 - TeX
Certified companion to the Dixmier counterexample in A3 + explicit Poisson-conjecture witness (runnable exact-arithmetic certificate)
computer-algebra jacobian-conjecture certified-computation dixmier-conjecture weyl-algebra poisson-algebra
-
Updated
Jul 21, 2026 - TeX
Research scaffold: Jacobian Conjecture counterexamples, Weyl-algebra endomorphisms, and phase-space / reversible quantum symmetry criteria (Quantyra).
-
Updated
Aug 2, 2026 - Python
An explicit C^4 counterexample to the Jacobian Conjecture via a normalized linear-times-cubic quartic factorization.
computer-algebra mathematics algebraic-geometry counterexample polynomial-maps jacobian-conjecture keller-map monodromy
-
Updated
Jul 21, 2026 - Python
CC0 candidate manuscript on degree-difference identities and affine slices, with exact symbolic verification
-
Updated
Aug 1, 2026 - TeX
SnapKitty Research Labs — Sovereign Quantum Computing · Formal Verification · AI Architecture · A division of The Shared Primordial Foundation · EIN 42-697643
quantum-computing formal-verification sovereign research-lab lean4 jacobian-conjecture ai-architecture snapkitty worm-attestation the-shared-primordial-foundation
-
Updated
Aug 15, 2026
An independent structural proof excluding the (72,108) case of the plane Jacobian Conjecture (GGHV, arXiv:2204.14178) — conditionally raising the counterexample degree bound from 108 to 125. Priority for the exclusion is B. Helali's (doi:10.5281/zenodo.21479814). Exact sympy checkers, spec-only auditors, Lean-certified core identity.
sympy computer-assisted-proof jacobian-conjecture polynomial-automorphisms affine-algebraic-geometry
-
Updated
Jul 29, 2026 - MAXScript
Exact proof archive and preprint excluding the two surviving Newton configurations at the (72,108) Jacobian frontier
-
Updated
Aug 10, 2026 - Sage
Lean 4 Gate-0 certificates for the EXOTIC-CCR Jacobian counterexample anchor (Quantyra).
-
Updated
Aug 2, 2026 - Lean
Reproducible research audit of the announced 3D Keller counterexample: exact verification, collision geometry, inverse flows, escape laws, and monodromy
-
Updated
Jul 20, 2026 - TeX
Polynomial Keller maps and certified transformations of them, including the Bass–Connell–Wright degree reduction.
computer-algebra sympy algebraic-geometry polynomial-maps jacobian-conjecture polynomial-automorphisms keller-map
-
Updated
Aug 17, 2026 - Python
-
Updated
Aug 17, 2026 - Python
An evidence-labeled guide to the 2026 Jacobian-conjecture counterexample and the surviving plane problem
-
Updated
Aug 8, 2026 - Python
Improve this page
Add a description, image, and links to the jacobian-conjecture topic page so that developers can more easily learn about it.
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."