{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T13:55:34Z","timestamp":1765806934213},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141270"},{"type":"electronic","value":"9783642141287"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14128-7_20","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T06:45:36Z","timestamp":1277793936000},"page":"234-246","source":"Crossref","is-referenced-by-count":3,"title":["Reducing Expression Size Using Rule-Based Integration"],"prefix":"10.1007","author":[{"given":"David J.","family":"Jeffrey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert D.","family":"Rich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Abramowitz, M., Stegun, I.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. US Government Printing Office (1964) (10th Printing December 1972)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Fateman, R.J.: A Review of Mathematica. J. Symb. Computation\u00a013(5) (1992)","DOI":"10.1016\/S0747-7171(10)80011-2"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/220346.220364","volume-title":"Proceedings ISSAC 1995","author":"T.H. Einwohner","year":"1995","unstructured":"Einwohner, T.H., Fateman, R.J.: Searching techniques for integral tables. In: Proceedings ISSAC 1995, pp. 133\u2013139. ACM Press, New York (1995)"},{"key":"20_CR4","volume-title":"Table of Integrals, Series and Products","author":"I.S. Gradshteyn","year":"1965","unstructured":"Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series and Products. Academic Press, London (1965)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-642-02614-0_39","volume-title":"Intelligent Computer Mathematics","author":"A.D. Rich","year":"2009","unstructured":"Rich, A.D., Jeffrey, D.J.: A knowledge repository for indefinite integration based on transformation rules. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009, MKM 2009. LNCS, vol.\u00a05625, pp. 480\u2013485. Springer, Heidelberg (2009)"},{"key":"20_CR6","unstructured":"Rich, A.D.: Indefinite Integration Rules, \n                    \n                      http:\/\/www.apmaths.uwo.ca\/RuleBasedMathematics"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14128-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:22:53Z","timestamp":1558279373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14128-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141270","9783642141287"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14128-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}