--- In
dcproof@yahoogroups.com, "Dan Christensen" <dchris@...> wrote:
>
> 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)
>
Corrected last line of "Field Axioms" (line 1)to include proviso that
~a=0. Thanks to Mark Hurd for pointing this out this error.
Dan
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