TY - GEN
T1 - Combining systems for mathematical creativity (invited talk)
AU - Sorge, Volker
PY - 2014
Y1 - 2014
N2 - We present work on the generation of novel mathematical results by means of integrating heterogeneous reasoning systems.
AB - We present work on the generation of novel mathematical results by means of integrating heterogeneous reasoning systems.
UR - http://www.scopus.com/inward/record.url?scp=84917738714&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-13770-4_2
DO - 10.1007/978-3-319-13770-4_2
M3 - Conference contribution
AN - SCOPUS:84917738714
SN - 9783319137698
VL - 8884
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 7
EP - 8
BT - Artificial Intelligence and Symbolic Computation
A2 - Aranda-Corral, Gonzalo A
A2 - Cal;met, Jacques
A2 - Martin-Mateos, Francisco J.
PB - Springer
T2 - 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014
Y2 - 11 December 2014 through 13 December 2014
ER -