Exact symbolic verification scripts for a three‑dimensional Jacobian counterexample
The repository provides reproducible Python (Sympy) and Node (Nerdamer) scripts that symbolically verify the structural claims of a recent Jacobian counterexample. It includes all necessary dependencies, output logs, and detailed reports, allowing researchers to confirm the results independently. Targeted at mathematicians and computational algebraists, it offers a reliable, automated way to validate complex algebraic constructions without manual calculation. By delivering two independent verification paths, it reduces risk of hidden errors and serves as a solid reference implementation.
View on GitHub →MPender08/jacobian-counterexample-structure