Thaynara Arielly de Lima
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2018–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ITP | A Formalization of the General Theory of Quaternions. | Thaynara Arielly de Lima, Andr Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincn |
| 2023 | LPAR | Formalization of Algebraic Theorems in PVS (Invited Talk). | Mauricio Ayala-Rincn, Thaynara Arielly de Lima, Andria B. Avelar, Andr Luiz Galdino |
| 2018 | ITP | Formalizing Ring Theory in PVS. | Andria B. Avelar da Silva, Thaynara Arielly de Lima, Andr Luiz Galdino |