Here are the axioms for the real numbers that users of DC Proof may
find useful for doing proofs in real analysis (calculus). I will
include it in the Samples directory of the next release due in the
near future.
http://www.dcproof.com/AxiomsRealNumbers.proof (DC Proof format)
http://www.dcproof.com/AxiomsRealNumbers.html (HTML format)
Dan Christensen
Yahoo! Groups TipsDid you know...Real people. Real stories. See how Yahoo! Groups impacts members worldwide. |
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
|
||||||||||||||||||||||||
Offline 
Send Email