Andréia Borges Avelar

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 2

Top Topics

Theorem Proving

Quantifier Elimination

Function Symbols

Top Venues

J. Autom. Reason.

Publications

Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino, Mauricio Ayala-Rincón
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. CoRR (2024)
Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón
Formalization of Ring Theory in PVS. J. Autom. Reason. 65 (8) (2021)
Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón
First-order unification in the PVS proof assistant. Log. J. IGPL 22 (5) (2014)