Author:Thaynara Arielly de Lima

Keyphrases

Countable Graphs, Euclidean Algorithms, Euclidean Domains, Formalization of Algebraic Structures, Hall's Theorem, interactive theorem proving, Isabelle/HOL, PVS, Quaternions.