Formalization of Ring Theory in PVS.

Thaynara Arielly de Lima André Luiz Galdino Andréia Borges Avelar Mauricio Ayala-Rincón

Published in: J. Autom. Reason. (2021)

Keyphrases

general theory
formal verification
theoretical basis
knowledge representation
theoretical framework
databases
theorem proving
search algorithm
real time
relational databases
algebraic structure
formal model
support vector
data structure
knowledge base
computer vision
data sets