Methodologies of Symbolic Computation

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

Abstract

The methodologies of computer algebra are about making algebra (in the broad sense) algorithmic, and efficient as well. There are ingenious algorithms, even in the obvious settings, and also mechanisms where problems are translated into other (generally smaller) settings, solved there, and translated back. Much of the efficiency of modern systems comes from these translations. One of the major challenges is sparsity, and the complexity of algorithms in the sparse setting is often unknown, as many problems are NP-hard, or much worse. In view of this, it is argued that the traditional complexity-theoretic method of measuring progress has its limits, and computer algebra should look to the work of the SAT community, with its large families of benchmarks and serious contests, for lessons.

Original languageEnglish
Title of host publicationArtificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings
EditorsDongming Wang, Jacques Fleuriot, Jacques Calmet
Place of PublicationCham
PublisherSpringer International Publishing
Pages19-33
Number of pages15
ISBN (Print)9783319999562
DOIs
Publication statusPublished - Sep 2018
Event13th International Conference on Artificial Intelligence and Symbolic Computation - Quishan Hotel, Souzhou, China
Duration: 16 Sep 201819 Sep 2018
http://aisc2018.cc4cm.org/index.html

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11110 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference13th International Conference on Artificial Intelligence and Symbolic Computation
Abbreviated titleAISC 2018
CountryChina
CitySouzhou
Period16/09/1819/09/18
Internet address

    Fingerprint

Keywords

  • Benchmarking
  • Computer algebra

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Davenport, J. (2018). Methodologies of Symbolic Computation. In D. Wang, J. Fleuriot, & J. Calmet (Eds.), Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings (pp. 19-33). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11110 LNAI). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-99957-9_2