## Author:Mauricio Ayala-Rincon
## KeyphrasesCountable Graphs, Euclidean Algorithms, Euclidean Domains, Formalization of Algebraic Structures, Hall's Theorem, interactive theorem proving, Isabelle/HOL, PVS, Quaternions. |

| ||||

Copyright © 2012-2023 easychair.org. All rights reserved. |