Combining systems for mathematical creativity (invited talk)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Authors

Colleges, School and Institutes

Abstract

We present work on the generation of novel mathematical results by means of integrating heterogeneous reasoning systems.

Details

Original languageEnglish
Title of host publicationArtificial Intelligence and Symbolic Computation
Subtitle of host publication12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
EditorsGonzalo A Aranda-Corral, Jacques Cal;met, Francisco J. Martin-Mateos
Publication statusPublished - 2014
Event12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014 - Seville, Spain
Duration: 11 Dec 201413 Dec 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8884
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014
CountrySpain
CitySeville
Period11/12/1413/12/14