activity
20192026
most citedAn alternative approach to the calculation of fundamental groups based on labeled natural deduction

3 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing math.ACShow all

1 paper · 1 filter

math.AC2026

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

We present a Lean 4 Mathlib formalization of Nagata's factoriality theorem: if R is a noetherian domain and S <= R is a prime-generated submonoid such that S^{-1}R is a UFD, then R…