23 citations
2 papers
cs.LO2024★ 2 cited
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino +1
This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm…
cond-mat.stat-mech2022★ 23 cited
The fractal geometry of growth: fluctuation-dissipation theorem and hidden symmetry
Petrus H. R. dos Anjos, Márcio S. Gomes-Filho, Washington S. Alves +2
Growth in crystals can be { usually } described by field equations such as the Kardar-Parisi-Zhang (KPZ) equation. While the crystalline structure can be characterized by Euclidean…