{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:34Z","timestamp":1725663874987},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581567"},{"type":"electronic","value":"9783540484677"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58156-1_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:23:25Z","timestamp":1330251805000},"page":"758-763","source":"Crossref","is-referenced-by-count":2,"title":["Combining symbolic computation and theorem proving: Some problems of Ramanujan"],"prefix":"10.1007","author":[{"given":"Edmund","family":"Clarke","sequence":"first","affiliation":[]},{"given":"Xudong","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"55_CR1","doi-asserted-by":"crossref","unstructured":"B.C.Berndt, Ramanujan's Notebooks, Part I, Springer-Verlag, 1985, pp 25\u201343.","DOI":"10.1007\/978-1-4612-1088-7_3"},{"key":"55_CR2","doi-asserted-by":"crossref","unstructured":"E.M.Clarke, X.Zhao, Analytica \u2014 An Experiment in Combining Theorem Proving and Symbolic Computation, Technical Report, School of Computer Science, Carnegie Mellon University, CMU-CS-92-147, Oct. 1992.","DOI":"10.21236\/ADA258656"},{"key":"55_CR3","first-page":"56","volume":"3","author":"E. M. Clarke","year":"1993","unstructured":"E.M.Clarke, X.Zhao, Analytica \u2014 A theorem prover for Mathematica, The Mathematica Journal, Vol. 3, Issue 1, 1993, pp 56\u201371.","journal-title":"The Mathematica Journal"},{"key":"55_CR4","unstructured":"R.W.Gosper, Indefinite Hypergeometric sums in MACSYMA, Proc. MAC-SYMA Users Conference, Berkeley CA, 1977, pp 237\u2013252."},{"key":"55_CR5","unstructured":"R.L.London and D.R.Musser, The Application of a Symbolic Mathematical System to Program Verification, Technique Report, USC Information Science Institute."},{"key":"55_CR6","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1016\/S0747-7171(89)80041-0","volume":"No.7","author":"P. Suppes","year":"1989","unstructured":"P.Suppes and S.Takahashi, An Interactive Calculus Theorem-prover for Continuity Properties, Journal of Symbolic Computation, No.7, 1989, pp 573\u2013590.","journal-title":"Journal of Symbolic Computation"},{"key":"55_CR7","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-55602-8_175"},{"key":"55_CR8","unstructured":"S. Wolfram. Mathematica: A System for Doing Mathematics by Computer, Wolfram Research Inc., 1988."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 CADE-12"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58156-1_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:17:44Z","timestamp":1605629864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58156-1_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581567","9783540484677"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-58156-1_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}