A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

  • Jacques Calmet
  • John A. Campbell
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6167)


We provide a perspective on the current state and possible future of links between symbolic mathematical computing and artificial intelligence, on the occasion of the 10th biennial conference (AISMC, later AISC) devoted to those connections. It follows a similar perspective expressed for the first such conference in 1992 and then revised and expanded 5 years later. Issues related to the computational management of mathematical knowledge are highlighted.


Symbolic Computation Artificial Intelligence 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Calmet, J., Campbell, J.A.: Artificial Intelligence and Symbolic Mathematical Computations. In: Campbell, J., Calmet, J. (eds.) AISMC 1992. LNCS, vol. 737, pp. 1–19. Springer, Heidelberg (1993)Google Scholar
  2. 2.
    Calmet, J., Campbell, J.A.: A perspective on symbolic mathematical computing and artificial intelligence. Annals of Mathematics and Artificial Intelligence 19(3-4), 261–277 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Lists of the contents of the proceedings of all the conferences,
  4. 4.
    Calmet, J.: Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009. LNCS, vol. 5625, pp. 14–26. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Calmet, J., Seiler, W.M., Tucker, R.W. (eds.): Global Integrability of Field Theories. Proc. of GIFT 2006. Universitätsverlag Karlsruhe, Karlsruhe (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jacques Calmet
    • 1
  • John A. Campbell
    • 2
  1. 1.Karlsruhe Institute of Technology (KIT)KarlsruheGermany
  2. 2.Department of Computer ScienceUniversity College LondonLondonEngland

Personalised recommendations