Analytica- a theorem prover in mathematica

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

Volumn 607 LNAI, Issue , 1992, Pages 761-765

  Clarke, Edmund ^a   Zhao, Xudong ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84863598113     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-55602-8_220     Document Type: Conference Paper

References (4)

1. B. C. Berndt, Ramanujan’s Notebooks, Part I, Springer-Verlag, 1985, pp 25-43.
2. R.W. Gosper, Indefinite IIypergeometric sums in MA CSYMA
3. E. Sacks, Hierarchical Inequality Reasoning, Technique Report, MIT Laboratory for Computer Science, 1987.
4. S. Wolfram. Mathematica: A System for Doing Mathematics by Computer, \Volfram Research Inc., 1988.