Lean 4 formalization of Nagata's theorem on unique factorization domains via prime-generated submonoids, with applications to polynomial rings.
The Lean mathematical library
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Empirical review of 233 real-world vulnerabilities from 34 TON audits produces a specialized checklist for asynchronous message handling, supported by case studies and an 11-person practitioner survey.
citing papers explorer
-
A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
Lean 4 formalization of Nagata's theorem on unique factorization domains via prime-generated submonoids, with applications to polynomial rings.
-
From Paradigm Shift to Audit Rift: Empirical Analysis and Validation of Security Audit Methodologies for Asynchronous Smart Contract Systems
Empirical review of 233 real-world vulnerabilities from 34 TON audits produces a specialized checklist for asynchronous message handling, supported by case studies and an 11-person practitioner survey.