Promath presenting, proving, and programming mathemati cal books (case for support). 9 pages, acknowledgement G583082 (2001)

by F Kamareddine, J B Wells