Formalizing ring theory in PVS

DOI10.1007/978-3-319-94821-8_3zbMath1451.68332OpenAlexW2810012865MaRDI QIDQ1791143

Andréia B. Avelar da Silva, André Luiz Galdino, Thaynara Arielly de Lima

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_3

Mathematics Subject Classification ID

Computational aspects and applications of commutative rings (13P99) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem ⋮ A formalization of the Smith normal form in higher-order logic

Uses Software

• Isabelle/HOL
• PVS
• Nuprl
• NASA PVS

This page was built for publication: Formalizing ring theory in PVS