Combining symbolic computation and theorem proving: Some problems of Ramanujan

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 814 LNAI, Issue , 1994, Pages 758-763

  Clarke, Edmund ^a   Zhao, Xudong ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957652620     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58156-1_55     Document Type: Conference Paper

References (8)

1. B. C. Berndt, Ramanujan’s Notebooks, Part I, Springer-Verlag, 1985, pp 25-43.
2. E. M. Clarke, X. Zhao, Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation, Technical Report, School of Computer Science, Carnegie Mellon University, CMU-CS-92-147, Oct. 1992.
3. E. M. Clarke, X. Zhao, Analytica - A theorem prover for Mathematica, The Mathematica Journal, Vol. 3, Issue 1, 1993, pp 56-71.
4. R. W. Gosper, Indefinite Hypergeometric sums in MACSYMA, Proc. MAC- SYMA Users Conference, Berkeley CA, 1977, pp 237-252.
5. R. L. London and D. R. Musser, The Application of a Symbolic Mathematical System to Program Verification, Technique Report, USC Information Science Institute.
6. P. Suppes and S. Takahashi, An Interactive Calculus Theorem-prover for Continuity Properties, Journal of Symbolic Computation, No. 7, 1989, pp 573-590.
7. T. Walsh, A. Nunes, and A. Bundy, The Use of Proof Plans to Sum Series, Proc. of 11th International Conference on Automated Deduction, June 1992.
8. S. Wolfram. Mathematica: A System for Doing Mathematics by Computer, Wolfram Research Inc., 1988.