Abstract
We present work on the generation of novel mathematical results by means of integrating heterogeneous reasoning systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Al-Hassani, O., Mahesar, Q.A., Coen, C.S., Sorge, V.: A Term Rewriting System for Kuratowski’s Closure-Complement Problem. In: Proceedings of RTA 2012. Leibniz International Proceedings in Informatics, vol. 15. Schloss Dagstuhl (2012)
Colton, S., Meier, A., Sorge, V., McCasland, R.: Automatic Generation of Classification Theorems for Finite Algebras. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol. 3097, pp. 400–414. Springer, Heidelberg (2004)
Distler, A., Shah, M., Sorge, V.: Enumeration of AG-Groupoids. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) Calculemus/MKM 2011. LNCS, vol. 6824, pp. 1–14. Springer, Heidelberg (2011)
Meier, A., Pollet, M., Sorge, V.: Comparing Approaches to the Exploration of the Domain of Residue Classes. Journal of Symbolic Computation 34(4), 287–306 (2002)
Meier, A., Sorge, V., Colton, S.: Employing Theory Formation to Guide Proof Planning. In: Calmet, J., Benhamou, B., Caprotti, O., Hénocque, L., Sorge, V. (eds.) AISC-Calculemus 2002. LNCS (LNAI), vol. 2385, pp. 275–289. Springer, Heidelberg (2002)
Sorge, V., Meier, A., McCasland, R., Colton, S.: Automatic Construction and Verification of Isotopy Invariants. Journal of Automated Reasoning 40(2-3), 221–243 (2008)
Sorge, V., Meier, A., McCasland, R., Colton, S.: Classification Results in Quasigroup and Loop Theory via a Combination of Automated Reasoning Tools. Comm. Mathematicae Universitatis Carolinae 49(2-3), 319–340 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Sorge, V. (2014). Combining Systems for Mathematical Creativity (Invited Talk). In: Aranda-Corral, G.A., Calmet, J., Martín-Mateos, F.J. (eds) Artificial Intelligence and Symbolic Computation. AISC 2014. Lecture Notes in Computer Science(), vol 8884. Springer, Cham. https://doi.org/10.1007/978-3-319-13770-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-13770-4_2
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13769-8
Online ISBN: 978-3-319-13770-4
eBook Packages: Computer ScienceComputer Science (R0)