Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Lists of the contents of the proceedings of all the conferences, http://www.informatik.uni-trier.de/~ley/db/conf/aisc/index.html
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)
Calmet, J., Seiler, W.M., Tucker, R.W. (eds.): Global Integrability of Field Theories. Proc. of GIFT 2006. Universitätsverlag Karlsruhe, Karlsruhe (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Calmet, J., Campbell, J.A. (2010). A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. In: Autexier, S., et al. Intelligent Computer Mathematics. CICM 2010. Lecture Notes in Computer Science(), vol 6167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14128-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-14128-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14127-0
Online ISBN: 978-3-642-14128-7
eBook Packages: Computer ScienceComputer Science (R0)