output
20222025
most citedThe fractal geometry of growth: fluctuation-dissipation theorem and hidden symmetry

23 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

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…