Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques-Reference-Cited by-同舟云学术

Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques

Published:1977-07 Issue:3 Volume:24 Page:353-374
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Bledsoe W. W.¹,Ballantyne A. Michael¹

Affiliation:

1. Department of Mathematics, The University of Texas at Austin, Austin, TX

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Reference21 articles.

1. APOSTLE T M Mathematical Analysts Addison-Wesley Reading Mass 1957 APOSTLE T M Mathematical Analysts Addison-Wesley Reading Mass 1957

2. BALLANaYNE M Computer generation ofcounterexamples in topology Memo ATP 24 Math Dept U of Texas Austin. 1975 BALLANaYNE M Computer generation ofcounterexamples in topology Memo ATP 24 Math Dept U of Texas Austin. 1975

3. BALLANXYNE M Non-standard analysis Part 11 The metatheorlst ATP 30 Math Dept U of Texas Austin March 1976 BALLANXYNE M Non-standard analysis Part 11 The metatheorlst ATP 30 Math Dept U of Texas Austin March 1976

4. Splitting and reduction heuristics in automatic theorem proving

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Fully Automatic Theorem Prover with Human-Style Output;Proof Technology in Mathematics Research and Teaching;2019

2. A Fully Automatic Theorem Prover with Human-Style Output;Journal of Automated Reasoning;2016-06-11

3. Banishing Ultrafilters from Our Consciousness;Outstanding Contributions to Logic;2016

4. Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis;Electronic Proceedings in Theoretical Computer Science;2014-06-04

5. Mechanizing Nonstandard Real Analysis;LMS Journal of Computation and Mathematics;2000