Formalizing Ring Theory in PVS-Reference-Cited by-同舟云学术

Formalizing Ring Theory in PVS

Published:2018 Issue: Volume: Page:40-47
ISSN:0302-9743
Container-title:Interactive Theorem Proving
language:
Short-container-title:

Author:

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

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-94821-8_3

Reference18 articles.

1. Aransay, J., Ballarin, C., Hohe, S., Kammüller, F., Paulson, L.C.: The Isabelle/HOL Algebra Library. Technical report, University of Cambridge - Computer Laboratory, October 2017. http://isabelle.in.tum.de/library/HOL/HOL-Algebra/document.pdf

2. Artin, M.: Algebra, 2nd edn. Pearson, Upper Saddle River (2010)

3. Bini, G., Flamini, F.: Finite commutative rings and their applications, vol. 680. Springer Science & Business Media (2012)

4. Butler, R., Lester, D.: A PVS Theory for Abstract Algebra (2007). http://shemesh.larc.nasa.gov/fm/ftp/larc/PVS-library/pvslib.html . Accessed 22 Jan 2018

5. Butler, R.W.: Formalization of the integral calculus in the PVS theorem prover. J. Formalized Reasoning 2(1), 1–26 (2009)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Formalization of the Smith Normal Form in Higher-Order Logic;Journal of Automated Reasoning;2022-05-26

2. Formalization of Ring Theory in PVS;Journal of Automated Reasoning;2021-05-12

3. Formalizing the ring of Witt vectors;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17

4. Teaching Interactive Proofs to Mathematicians;Electronic Proceedings in Theoretical Computer Science;2020-10-30