2026-07-21T14:12:44Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:777 2024-03-06T11:06:56Z ddc:004 open_access

06271 Executive Summary - Challenges in Symbolic Computation Software Decker, Wolfram Dewar, Mike Kaltofen, Erich Watt, Stephen M. Symbolic computation computer algebra computational algebraic geometry combinatorial methods in algebra hybrid symbolic-numerical methods algori Symbolic computation software allows mathematicians, scientists, engineers, or educators to deal with elaborate calculations using a computer. The applications range from introducing the experimental method in fields of pure mathematics to practical applications, for instance, in cryptology, robotics, or signal theory. The software includes mainstream commercial products such as Maple or Mathematica and highly specialized, public domain systems such as CoCoa, Macaulay2, or Singular. Symbolic computation software implements a variety of sophisticated algorithms on polynomials, matrices, combinatorial structures, and other mathematical objects in a multitude of different dense, sparse, or implicit (black box) representations. The subject of the seminar was innovation in algorithms and software, bringing algorithm designers, software builders, and software users together. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen M. Watt 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06271.2 urn:nbn:de:0030-drops-7778 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06271.2 eng https://creativecommons.org/licenses/by/4.0/legalcode