{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:44Z","timestamp":1725663164921},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540116073"},{"type":"electronic","value":"9783540394334"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11607-9_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:47:49Z","timestamp":1330192069000},"page":"109-116","source":"Crossref","is-referenced-by-count":12,"title":["Solving symbolic equations with press"],"prefix":"10.1007","author":[{"given":"Leon","family":"Sterling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Bundy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence","family":"Byrd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"O'Keefe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Silver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"13_CR1","unstructured":"Borning, A and Bundy, A. Using matching in algebraic equation solving. In Schank, R., editor, IJCAI7, pages pp 466\u2013471. International Joint Conference on Artificial Intelligence, 1981. Also available from Edinburgh as DAI Research Paper No. 158."},{"key":"13_CR2","unstructured":"Bundy, A. and Silver, B. Homogenization: Preparing Equations for Change of Unknown. In Schank, R., editor, IJCA17. International Joint Conference on Artificial Intelligence, 1981. Longer version available from Edinburgh as DAI Research Paper No. 159."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Bundy, A. and Welham, B. Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Artificial Intelligence 16(2), 1981.","DOI":"10.1016\/0004-3702(81)90010-2"},{"key":"13_CR4","volume-title":"Procs of the sixth","author":"A. Bundy","year":"1979","unstructured":"Bundy, A., Byrd, L., Luger, G., Mellish, C., Milne, R. and Palmer, M. Solving Mechanics Problems Using Meta-Level Inference. In Procs of the sixth. IJCAI, Tokyo, 1979. Also available from Edinburgh as DAI Research Paper No. 112."},{"key":"13_CR5","series-title":"Working Paper","volume-title":"A Generalized Interval Package and its use for Semantic Checking","author":"A. Bundy","year":"1981","unstructured":"Bundy, A. A Generalized Interval Package and its use for Semantic Checking. Working Paper 86, Dept. of Artificial Intelligence, Edinburgh, March, 1981."},{"key":"13_CR6","unstructured":"Clocksin, W.F. and Mellish, C.S. Programming in Prolog. Springer Verlag, 1981."},{"key":"13_CR7","unstructured":"Mathlab Group. MACSYMA Reference Manual. Technical Report, MIT, 1977."},{"key":"13_CR8","series-title":"Research Paper","volume-title":"The application of Homogenization to simultaneous equations","author":"B. Silver","year":"1981","unstructured":"Silver, B. The application of Homogenization to simultaneous equations. Research Paper 166, Dept. of Artificial Intelligence, Edinburgh, 1981. To appear in Proceedings of CADE-6, 1982."}],"container-title":["Lecture Notes in Computer Science","Computer Algebra"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11607-9_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:44:31Z","timestamp":1619556271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11607-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540116073","9783540394334"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-11607-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}