Formal Verification of an Explicit Counterexample to the Jacobian Conjecture

Arthur Freitas Ramos and David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz

misc2026

Citation key: JacobianCounterexampleAFP2026
Year: 2026
Cited by: 1 catalog records
Direct source: Available

Reference note

Why this source is in the ledger

Arthur Freitas Ramos, David Barros Hulak, and Ruy Jose Guerra Barretto de Queiroz, “Formal Verification of an Explicit Counterexample to the Jacobian Conjecture,” Archive of Formal Proofs, July 20, 2026, https://isa-afp.org/entries/Jacobian_Counterexample.html

Catalog connections

Conjectures citing this source

ALG-POLY-001Plane Jacobian ConjectureAlgebra and representation theory

Source record

Bibliographic fields

Inspect the parsed BibTeX fields

author: Arthur Freitas Ramos and David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz
note: Arthur Freitas Ramos, David Barros Hulak, and Ruy Jose Guerra Barretto de Queiroz, “Formal Verification of an Explicit Counterexample to the Jacobian Conjecture,” Archive of Formal Proofs, July 20, 2026, https://isa-afp.org/entries/Jacobian_Counterexample.html
title: Formal Verification of an Explicit Counterexample to the Jacobian Conjecture,
url: https://isa-afp.org/entries/Jacobian_Counterexample.html
year: 2026