Formalization of Algebraic Theorems in PVS (Invited Talk).

Mauricio Ayala-Rincn, Thaynara Arielly de Lima, Andria B. Avelar, Andr Luiz Galdino

Browse the full LPAR paper archive.