Thaynara Arielly de Lima

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Hypothesis Space

Theorem Proving

Top Venues

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)
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino
Formalization of Algebraic Theorems in PVS (Invited Talk). LPAR (2023)
Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima
Hall's Theorem for Enumerable Families of Finite Sets. CICM (2022)
Lucas Angelo da Silveira, Thaynara Arielly de Lima, Mauricio Ayala-Rincón
Reconfigurable Heterogeneous Parallel Island Models. CoRR (2022)
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)
Mauricio Ayala-Rincón, Thaynara Arielly de Lima
Teaching Interactive Proofs to Mathematicians. ThEdu@IJCAR (2020)
Andréia B. Avelar da Silva, Thaynara Arielly de Lima, André Luiz Galdino
Formalizing Ring Theory in PVS. ITP (2018)