Research scaffold: Jacobian Conjecture counterexamples, Weyl-algebra endomorphisms, and phase-space / reversible quantum symmetry criteria (Quantyra).
-
Updated
Aug 2, 2026 - Python
#
quantyra
Here are 2 public repositories matching this topic...
Lean 4 Gate-0 certificates for the EXOTIC-CCR Jacobian counterexample anchor (Quantyra).
-
Updated
Aug 2, 2026 - Lean
Improve this page
Add a description, image, and links to the quantyra topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the quantyra topic, visit your repo's landing page and select "manage topics."