# ACL2

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

2018

- ACL2
- 2018

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity… (More)

Is this relevant?

2011

2011

- ITP
- 2011

In this paper, we describe recent improvements to the theory of differentiation that is formalized in ACL2(r). First, we show how… (More)

Is this relevant?

2007

2007

- 29th International Conference on Software…
- 2007

ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM software system award. In the hands… (More)

Is this relevant?

2006

2006

- ACL2
- 2006

Teaching undergraduates to develop software in a formal framework such as ACL2 poses two immediate challenges. First, students… (More)

Is this relevant?

2003

2003

- Journal of Automated Reasoning
- 2003

We describe a method for introducing “partial functions” into ACL2, that is, functions not defined everywhere. The function… (More)

Is this relevant?

2003

2003

- CHARME
- 2003

As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include… (More)

Is this relevant?

2002

2002

- PADL
- 2002

ACL2 is a rst-order applicative programming language based on Common Lisp. It is also a mathematical logic for which a mechanical… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- 2000

Make more knowledge even in less time every day. You may not always spend your time and money to go abroad and get the experience… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- 1996

ACL2 is a reimplemented extended version of Boyer and Moore's Nqthm and Kaufmann's Pc-Nqthm, intended for large scale veriication… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- FMCAD
- 1996

ACL2 is a mechanized mathematical logic intended for use in specifying and proving properties of computing machines. In two… (More)

Is this relevant?