{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:37Z","timestamp":1725663817514},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:47:36Z","timestamp":1330260456000},"page":"1-19","source":"Crossref","is-referenced-by-count":4,"title":["Artificial intelligence and symbolic mathematical computations"],"prefix":"10.1007","author":[{"given":"J.","family":"Calmet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. A.","family":"Campbell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1080\/08839519008927939","volume":"4","author":"L. Aiello","year":"1990","unstructured":"L. Aiello and A. Micarelli, Applied Artificial Intelligence, 4, 15, 1990.","journal-title":"Applied Artificial Intelligence"},{"volume-title":"Handbook of Artificial Intelligence","year":"1985","key":"1_CR2","unstructured":"A. Barr and E.A. Feigenbaum (eds.), Handbook of Artificial Intelligence, Morgan Kaufmann, Los Altos, 1985."},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(78)90010-3","volume":"11","author":"B.G. Buchanan","year":"1978","unstructured":"B.G. Buchanan and E.A. Feigenbaum, Artificial Intelligence, 11, 5 1978.","journal-title":"Artificial Intelligence"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"A.V. Bocharov, Will DELIA grow into an expert system? In A. Miola (ed.), Design and Implementation of Symbolic Computation Systems. Proc. of DISCO'90. LNCS 492, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52531-9_148"},{"key":"1_CR5","unstructured":"R.F. Boisvert, Toward an intelligent system for mathematical software selection. In P.W. Gaffney and E.N. Houstis (eds.), Programming Environments for High-Level Scientific Problem Solving. IFIP Transactions A-2, North-Holland, p. 79, 1992."},{"volume-title":"Readings in Knowledge Representation","year":"1985","key":"1_CR6","unstructured":"R. Brachman and H. Levesque (eds.), Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, 1985."},{"key":"1_CR7","volume-title":"The computer modelling of Mathematical Reasoning","author":"A. Bundy","year":"1983","unstructured":"A. Bundy, The computer modelling of Mathematical Reasoning. Academic Press, London, 1983."},{"key":"1_CR8","unstructured":"J. Calmet and I.A. Tjandra, An Expert System for Correctness of Symbolic Computation. In J. Liebowitz (ed.), Expert Systems World Congress Proceedings, Vol. 3, Pergamon Press, 1991."},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1088\/0305-4470\/12\/8\/008","volume":"12","author":"J.A. Campbell","year":"1979","unstructured":"J.A. Campbell, J. Phys. A, 12, 1149, 1979.","journal-title":"J. Phys. A"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"J.J. Cannon, A draft description of the group theory language CAYLEY, SYM-SAC'76, ACM, 1976.","DOI":"10.1145\/800205.806325"},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"1569","DOI":"10.1126\/science.168.3939.1569","volume":"168","author":"A. Deprit","year":"1970","unstructured":"A. Deprit, J. Henrard and A. Rom, Lunar Ephemeris: Delaunay's Theory Revisited, Science 168, 1569\u20131570, 1970.","journal-title":"Science"},{"volume-title":"Symbolic and Numerical Computation for Artificial Intelligence","year":"1992","key":"1_CR12","unstructured":"B. Donald, D. Kapur and J. Mundy (eds.), Symbolic and Numerical Computation for Artificial Intelligence, Academic Press, London, 1992."},{"key":"1_CR13","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0004-3702(92)90025-S","volume":"56","author":"B. Faltings","year":"1992","unstructured":"B. Faltings, Artificial Intelligence, 56, 139, 1992.","journal-title":"Artificial Intelligence"},{"key":"1_CR14","first-page":"233","volume-title":"Proc. 1981 ACM Symposium on Symbolic and Algebraic Manipulation","author":"J.P. Fitch","year":"1981","unstructured":"J.P. Fitch and Garnett, 1971 conference paper, citation in [Gr]in."},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"K.D. Forbus, Artificial Intelligence, 24, 85, 1984.","journal-title":"Artificial Intelligence"},{"key":"1_CR16","volume-title":"Machine Learning","author":"R. Forsyth","year":"1984","unstructured":"R. Forsyth and R. Rada, Machine Learning, Ellis Horwood, Chichester, England, 1984."},{"key":"1_CR17","unstructured":"W.A. Gale (ed.), Artificial Intelligence and Statistics, Addison Wesley, 1986."},{"key":"1_CR18","volume-title":"Computer and Thought","author":"H.L. Gelernter","year":"1963","unstructured":"H.L. Gelernter, Realization of a geometry theorem-proving machine, in Computer and Thought, E.A. Feigenbaum and J. Feldman (eds.), McGraw Hill, New York, 1963."},{"key":"1_CR19","first-page":"233","volume-title":"Proc. 1981 ACM Symposium on Symbolic and Algebraic Manipulation","author":"F. Gardin","year":"1981","unstructured":"F. Gardin and J.A. Campbell, Tracing occurences of patterns in symbolic computations, in Proc. 1981 ACM Symposium on Symbolic and Algebraic Manipulation, P.S. Wang (ed.), p. 233, ACM, New York, 1981."},{"key":"1_CR20","volume-title":"CONSAT: a System for Constraint Satisfaction","author":"H.-W. G\u00fcsgen","year":"1989","unstructured":"H.-W. G\u00fcsgen, CONSAT: a System for Constraint Satisfaction, London, Pitman, 1989."},{"key":"1_CR21","volume-title":"Building Expert Systems","author":"F. Hayes-Roth","year":"1983","unstructured":"F. Hayes-Roth, D.A. Waterman and D.B. Lenat, Building Expert Systems, Addison-Wesley, Reading, Mass., 1983."},{"volume-title":"Formal Theories of the Commonsense World","year":"1985","key":"1_CR22","unstructured":"J. Hobbs and R. Moore (eds.), Formal Theories of the Commonsense World American Elsevier, New York, 1985."},{"key":"1_CR23","volume-title":"Analysis for Knowledge-Based Systems \u2014 A Practical Guide to the KADS Methodology","author":"F.R. Hickman","year":"1989","unstructured":"F.R. Hickman et al., Analysis for Knowledge-Based Systems \u2014 A Practical Guide to the KADS Methodology, Ellis Horwood Ltd., Chichester, England, 1989."},{"key":"1_CR24","first-page":"139","volume-title":"Expert Systems the Microelectronic Age","author":"P. J. Hayes","year":"1979","unstructured":"P. J. Hayes, The Naive Physics Manifesto, in Expert Systems the Microelectronic Age, ed. D. Michie, pp. 139\u2013147, Edinburgh Univ. Press, Edinburgh, 1979."},{"key":"1_CR25","unstructured":"E.N. Houstis and J.R. Rice, Parallel ELLPACK. In P.W. Gaffney and E.N. Houstis (eds.), Programming Environments for High-Level Scientific Problem Solving. IFIP Transactions A-2, North-Holland, p. 229, 1992."},{"key":"1_CR26","volume-title":"Application of Symbolic Computation to the Analysis of Mechanical Systems, Including Robot Arms","author":"M.A. Hussain","year":"1984","unstructured":"M.A. Hussain and B. Noble, Application of Symbolic Computation to the Analysis of Mechanical Systems, Including Robot Arms. In E.J. Haug (ed.), Springer Verlag, Berlin, 1984."},{"key":"1_CR27","volume-title":"M.S. Thesis","author":"H.G. Kahrimanian","year":"1953","unstructured":"H.G. Kahrimanian, Analytical differentiation by a digital computer, M.S. Thesis, Temple Univ., Philadelphia, 1953."},{"key":"1_CR28","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"J. de Kleer, A.K. Mackworth and R. Reiter, Artificial Intelligence, 56, 197 1992.","journal-title":"Artificial Intelligence"},{"key":"1_CR29","first-page":"52","volume-title":"Progress in Artificial Intelligence","author":"P. Langley","year":"1985","unstructured":"P. Langley, Strategy acquisition governed by experimentation, in Progress in Artificial Intelligence, L. Steels and J.A. Campbell (eds.), p. 52 (Ellis Horwood Ltd., Chichester, England, 1985."},{"key":"1_CR30","volume-title":"Constraint Programming","author":"W. Leler","year":"1989","unstructured":"W. Leler, Constraint Programming, Addison Wesley, Reading, MA, 1989."},{"key":"1_CR31","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/120694.120757","volume-title":"ISSAC'91","author":"R. Marzinkewitsch","year":"1991","unstructured":"R. Marzinkewitsch, Operating Computer Algebra Systems by Handprinted Input. In S.M. Watt (ed.), ISSAC'91, p. 411, ACM Press, New York, 1991."},{"key":"1_CR32","volume-title":"Machines Who Think","author":"P. McCorduck","year":"1979","unstructured":"P. McCorduck, Machines Who Think, Freeman, San Fransisco, 1979."},{"volume-title":"Machine Learning, 3 vols","year":"1983","key":"1_CR33","unstructured":"R. Michalski, J. Carbonell and T.M. Mitchell (eds.), Machine Learning, 3 vols, Tioga Press, Palo Alto, CA, and Springer-Verlag, Berlin, 1983 and subsequent dates."},{"key":"1_CR34","volume-title":"Machine Learning","author":"T.M. Mitchell","year":"1983","unstructured":"T.M. Mitchell, P.E. Utgoff and R.B. Banerji, Learning by experimentation: Acquiring and refining problem-solving heuristics. In R.S. Michalski et al. (eds.), Machine Learning, Tioga Publ. Co., Palo Alto, CA, 1983."},{"key":"1_CR35","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1145\/362637.362651","volume":"14","author":"J. Moses","year":"1971","unstructured":"J. Moses, Symbolic Integration, the Stormy Decade, Communications of the ACM, 14, pp 548\u2013560, 1971.","journal-title":"Communications of the ACM"},{"key":"1_CR36","volume-title":"S.M. Thesis","author":"J. Nolan","year":"1953","unstructured":"J. Nolan, Analytical differentiation on a digital computer, S.M. Thesis, MIT Cambridge, 1953."},{"key":"1_CR37","unstructured":"G. Ringland and D.D. Duce (eds.), Approaches to Knowledge Representation, Science Research Associates\/ Wiley, Chichester, England."},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"R. Rueher, Software \u2014 Practice & Experience, 23, 1993.","DOI":"10.1002\/spe.4380230204"},{"key":"1_CR39","volume-title":"Inside Case-Based Reasoning","author":"R. Schank","year":"1989","unstructured":"R. Schank, Inside Case-Based Reasoning, L. Erlbaum Associates, NY, 1989."},{"key":"1_CR40","volume-title":"Computer and Thought","author":"R. Slagle","year":"1963","unstructured":"R. Slagle, A heuristic program that solves symbolic integration problems in freshman calculus. In Computer and Thought, E.A. Feigenbaum and J. Feldman (eds.), McGraw Hill, NY, 1963."},{"key":"1_CR41","first-page":"108","volume-title":"Proc. of EUROCAM'82, LNCS 144","author":"L. Sterling","year":"1982","unstructured":"L. Sterling, A. Bundy and L. Byrd, Solving symbolic equations with PRESS. In J. Calmet (ed.), Proc. of EUROCAM'82, LNCS 144, p. 108, Springer Verlag, Heidelberg, 1982."},{"key":"1_CR42","unstructured":"I.A. Tjandra, Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen in der Computeralgebra, PhD. Thesis, Univ. Karlsruhe, July 1993."},{"issue":"No.3","key":"1_CR43","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF01294332","volume":"2","author":"F. Ulmer","year":"1992","unstructured":"F. Ulmer, On Liouvillian Solutions of Linear Differential Equations, AAECC Journal, Vol.2, No. 3, pp. 171\u2013194, 1992.","journal-title":"AAECC Journal"},{"key":"1_CR44","unstructured":"M. Vivet, Expertise math\u00e9matique: CAMELIA, un logiciel pour raisonner et calculer. Th\u00e8se d'\u00e9tat, Univ. Paris IV, 1984."},{"key":"1_CR45","first-page":"419","volume":"1","author":"D. Wang","year":"1989","unstructured":"D. Wang, On Wu's Method for proving constructive geometical theorems, Proc. IJCAI-89, 1, 419, 1989.","journal-title":"Proc. IJCAI-89"},{"key":"1_CR46","volume-title":"Artificial Intelligence and Tutoring Systems","author":"E. Wenger","year":"1987","unstructured":"E. Wenger, Artificial Intelligence and Tutoring Systems, Morgan Kaufmann, Los Altos, CA, 1987"},{"key":"1_CR47","volume-title":"Artificial Intelligence","author":"P.H. Winston","year":"1984","unstructured":"P.H. Winston, Artificial Intelligence, 2nd edition, Addition-Wesley, Reading, MA, 1984.","edition":"2nd edition"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:26Z","timestamp":1605647486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}