Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)

Journal Category

Science

Mathematics

Instruments and machines

Electronic computers

Computer science

Title	Journal	Journal Categories	Citations	Publication Date
A Formalization of Metric Spaces in HOL Light	Journal of Automated Reasoning	Science: Mathematics: Instruments and machines: Electronic computers. Computer science Science: Mathematics: Instruments and machines: Electronic computers. Computer science	2	2018
The Cayley-Dickson Construction in ACL2				2017
Nonstandard Analysis in ACL2				2001
Extending ACL2 with SMT Solvers				2015
Integrating SMT with Theorem Proving for Analog/Mixed-Signal Circuit Verification				2015

Title	Journal	Journal Categories	Citations	Publication Date
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications	Electronic Proceedings in Theoretical Computer Science	Science: Mathematics: Instruments and machines: Electronic computers. Computer science		2020

Category	Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science	1

The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications and was published in 2020. The most recent citation comes from a 2020 study titled Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications. This article reached its peak citation in 2020, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.