Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/nonstd/sqrt

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Makefile                07-May-2000 08:47  241   
[TXT] certify.lsp             03-Nov-1998 20:56  198   
[TXT] iter-sqrt.lisp          18-May-2000 16:47   23K  
[TXT] no-sqrt.lisp            12-Nov-2002 10:57   16K  

This is the README file for the acl2 directory books/nonstd/sqrt.

Ruben Gamboa

no-sqrt.lisp -  no rational square root of 2.
iter-sqrt.lisp - a rational approximation