Formalization of Algebraic Theorems in PVS (Invited Talk).

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

Published in: LPAR (2023)

Keyphrases

invited talk
selected papers
knowledge discovery and data mining
formal verification
theorem proving
carefully reviewed and selected from submissions
knowledge representation
formal model
operational semantics
digital topology
machine learning
database
genetic algorithm
knowledge base
xml schema