Encyclopedia results for ACL2

1. ACL2
   
   ACL2 , A Computational Logic for Applicative Common Lisp , is a Computer software software system consisting ... prover . ACL2 is designed to support automated reasoning in inductive logical theories, mostly ..
   
   
   
   
2. J Strother Moore
   
   author of the ACL2 automated theorem prover. Moore used ACL2 to prove the correctness of the floating ..
   
   
   
   
3. GNU Common Lisp
   
   Maxima software Maxima , AXIOM and ACL2 . GCL runs under eleven different architectures on Linux , and also ..
   
   
   
   
4. Renault Primaquatre
   
   48 CV at 3200 rpm. In following years appeared the type ACL2, BDF1, BDF2 and BDS1, the production ... design. Types First Generation KZ6 KZ8 KZ10 KZ11 KZ18 KZ24 Second Generation ACL1 ACL2 BDF1 ..
   
   
   
   
5. Robert S. Boyer
   
   called ACL2 . Publications Dr. Boyer has published extensively, including the following books A Computational ..
   
   
   
   
6. Conservative extension
   
   math T 1 math , math T 2 math , ... of it. The theorem provers Isabelle theorem prover Isabelle and ACL2 ..
   
   
   
   
7. Formal verification
   
   , the ACL2 theorem prover or the Isabelle theorem prover . This is usually only partially automated ..
   
   
   
   
8. Prover9
   
   by Ivy, a proof checking tool that has been separately verified using ACL2 . In July 2006 the LADR ..
   
   
   
   
9. Axiom computer algebra system
   
   such as Coq and ACL2 . Mathematically sound. Axiom has a type hierarchy that is strongly based on standard ..
   
   
   
   
10. List of computer scientists
    
    ALGOL 68C compiler. Robert Boyer string searching and ACL2 theorem prover Jack E. Bresenham early computer ... Moore machine Gordon Moore Moore s law J Strother Moore string searching and ACL2 theorem prover Hans ..
    
    
    
    
11. List of mathematical logic topics
    
    order resolution Automated theorem proving ACL2 theorem prover E equational theorem prover Gandalf ..
    
    
    
    
12. Automated theorem proving
    
    software div style moz column count 3 column count 3 ACL2 Automath theorem prover Automath Coq CVC ..
    
    
    
    
13. Common Lisp
    
    and ACL2 . GCL runs on Linux under eleven different architectures, and also under Windows, Solaris, and FreeBSD .... There also exist open source applications written in Common Lisp, such as ACL2 , a full featured ..
    
    
    
    

Articles 1 - 13 of 13

Search   in   Tutorials Encyclopedia Dictionary Directory

Search for ACL2 in Tutorials

Search for ACL2 in Encyclopedia

Search for ACL2 in Dictionary

Search for ACL2 in Open Directory

Search for ACL2 in Store

Search for ACL2 in PriceGig

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor