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-2024 easychair.org. All rights reserved. |