Combining systems for mathematical creativity (invited talk)

Volker Sorge*

*Corresponding author for this work

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

Abstract

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

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
PublisherSpringer
Pages7-8
Number of pages2
Volume8884
ISBN (Electronic)9783319137704
ISBN (Print)9783319137698
DOIs
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
Country/TerritorySpain
CitySeville
Period11/12/1413/12/14

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint

Dive into the research topics of 'Combining systems for mathematical creativity (invited talk)'. Together they form a unique fingerprint.

Cite this