Skip to main content
Springer Nature Link
Log in

Artificial intelligence and symbolic mathematical computations

  • Conference paper
  • First Online:
Artificial Intelligence and Symbolic Mathematical Computing (AISMC 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 737))

  • 213 Accesses

Abstract

This introductory paper summarizes the picture of the territory common to AI and SMC that has evolved from discussions following the presentation of papers given at the 1992 Karlsruhe conference. Its main objective is to highlight some patterns that can be used to guide both sketches of the state of the art in this territory and suggestions for future research activities.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. L. Aiello and A. Micarelli, Applied Artificial Intelligence, 4, 15, 1990.

    Google Scholar 

  2. A. Barr and E.A. Feigenbaum (eds.), Handbook of Artificial Intelligence, Morgan Kaufmann, Los Altos, 1985.

    Google Scholar 

  3. B.G. Buchanan and E.A. Feigenbaum, Artificial Intelligence, 11, 5 1978.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. R. Brachman and H. Levesque (eds.), Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, 1985.

    Google Scholar 

  7. A. Bundy, The computer modelling of Mathematical Reasoning. Academic Press, London, 1983.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. J.A. Campbell, J. Phys. A, 12, 1149, 1979.

    Google Scholar 

  10. J.J. Cannon, A draft description of the group theory language CAYLEY, SYM-SAC'76, ACM, 1976.

    Google Scholar 

  11. A. Deprit, J. Henrard and A. Rom, Lunar Ephemeris: Delaunay's Theory Revisited, Science 168, 1569–1570, 1970.

    Google Scholar 

  12. B. Donald, D. Kapur and J. Mundy (eds.), Symbolic and Numerical Computation for Artificial Intelligence, Academic Press, London, 1992.

    Google Scholar 

  13. B. Faltings, Artificial Intelligence, 56, 139, 1992.

    Google Scholar 

  14. J.P. Fitch and Garnett, 1971 conference paper, citation in [Gr]in.

    Google Scholar 

  15. K.D. Forbus, Artificial Intelligence, 24, 85, 1984.

    Google Scholar 

  16. R. Forsyth and R. Rada, Machine Learning, Ellis Horwood, Chichester, England, 1984.

    Google Scholar 

  17. W.A. Gale (ed.), Artificial Intelligence and Statistics, Addison Wesley, 1986.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. H.-W. Güsgen, CONSAT: a System for Constraint Satisfaction, London, Pitman, 1989.

    Google Scholar 

  21. F. Hayes-Roth, D.A. Waterman and D.B. Lenat, Building Expert Systems, Addison-Wesley, Reading, Mass., 1983.

    Google Scholar 

  22. J. Hobbs and R. Moore (eds.), Formal Theories of the Commonsense World American Elsevier, New York, 1985.

    Google Scholar 

  23. F.R. Hickman et al., Analysis for Knowledge-Based Systems — A Practical Guide to the KADS Methodology, Ellis Horwood Ltd., Chichester, England, 1989.

    Google Scholar 

  24. P. J. Hayes, The Naive Physics Manifesto, in Expert Systems the Microelectronic Age, ed. D. Michie, pp. 139–147, Edinburgh Univ. Press, Edinburgh, 1979.

    Google Scholar 

  25. 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.

    Google Scholar 

  26. 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.

    Google Scholar 

  27. H.G. Kahrimanian, Analytical differentiation by a digital computer, M.S. Thesis, Temple Univ., Philadelphia, 1953.

    Google Scholar 

  28. J. de Kleer, A.K. Mackworth and R. Reiter, Artificial Intelligence, 56, 197 1992.

    Google Scholar 

  29. 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.

    Google Scholar 

  30. W. Leler, Constraint Programming, Addison Wesley, Reading, MA, 1989.

    Google Scholar 

  31. R. Marzinkewitsch, Operating Computer Algebra Systems by Handprinted Input. In S.M. Watt (ed.), ISSAC'91, p. 411, ACM Press, New York, 1991.

    Google Scholar 

  32. P. McCorduck, Machines Who Think, Freeman, San Fransisco, 1979.

    Google Scholar 

  33. 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.

    Google Scholar 

  34. 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.

    Google Scholar 

  35. J. Moses, Symbolic Integration, the Stormy Decade, Communications of the ACM, 14, pp 548–560, 1971.

    Google Scholar 

  36. J. Nolan, Analytical differentiation on a digital computer, S.M. Thesis, MIT Cambridge, 1953.

    Google Scholar 

  37. G. Ringland and D.D. Duce (eds.), Approaches to Knowledge Representation, Science Research Associates/ Wiley, Chichester, England.

    Google Scholar 

  38. R. Rueher, Software — Practice & Experience, 23, 1993.

    Google Scholar 

  39. R. Schank, Inside Case-Based Reasoning, L. Erlbaum Associates, NY, 1989.

    Google Scholar 

  40. 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.

    Google Scholar 

  41. 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.

    Google Scholar 

  42. I.A. Tjandra, Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen in der Computeralgebra, PhD. Thesis, Univ. Karlsruhe, July 1993.

    Google Scholar 

  43. F. Ulmer, On Liouvillian Solutions of Linear Differential Equations, AAECC Journal, Vol.2, No. 3, pp. 171–194, 1992.

    Google Scholar 

  44. M. Vivet, Expertise mathématique: CAMELIA, un logiciel pour raisonner et calculer. Thèse d'état, Univ. Paris IV, 1984.

    Google Scholar 

  45. D. Wang, On Wu's Method for proving constructive geometical theorems, Proc. IJCAI-89, 1, 419, 1989.

    Google Scholar 

  46. E. Wenger, Artificial Intelligence and Tutoring Systems, Morgan Kaufmann, Los Altos, CA, 1987

    Google Scholar 

  47. P.H. Winston, Artificial Intelligence, 2nd edition, Addition-Wesley, Reading, MA, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Karlsruhe, Germany

    J. Calmet

  2. University College London, UK

    J. A. Campbell

Authors
  1. J. Calmet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. A. Campbell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet John A. Campbell

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Calmet, J., Campbell, J.A. (1993). Artificial intelligence and symbolic mathematical computations. In: Calmet, J., Campbell, J.A. (eds) Artificial Intelligence and Symbolic Mathematical Computing. AISMC 1992. Lecture Notes in Computer Science, vol 737. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57322-4_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-57322-4_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57322-7

  • Online ISBN: 978-3-540-48063-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics