Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques

• Authors:

• W. W. Bledsoe;A. Michael Ballantyne

• Affiliations:

• Department of Mathematics, The University of Texas at Austin, Austin, TX;Department of Mathematics, The University of Texas at Austin, Austin, TX

• Venue:
• Journal of the ACM (JACM)
• Year:
• 1977