License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06271.2
URN: urn:nbn:de:0030-drops-7778
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/777/
Go to the corresponding Portal

Decker, Wolfram ; Dewar, Mike ; Kaltofen, Erich ; Watt, Stephen M.

06271 Executive Summary - Challenges in Symbolic Computation Software

pdf-format:
06271.SWM.ExtAbstract.777.pdf (0.06 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{decker_et_al:DagSemProc.06271.2,
  author =	{Decker, Wolfram and Dewar, Mike and Kaltofen, Erich and Watt, Stephen M.},
  title =	{{06271 Executive Summary - Challenges in Symbolic Computation Software}},
  booktitle =	{Challenges in Symbolic Computation Software},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6271},
  editor =	{Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/777},
  URN =		{urn:nbn:de:0030-drops-7778},
  doi =		{10.4230/DagSemProc.06271.2},
  annote =	{Keywords: Symbolic computation, computer algebra, computational algebraic geometry, combinatorial methods in algebra, hybrid symbolic-numerical methods, algori}
}

Keywords: Symbolic computation, computer algebra, computational algebraic geometry, combinatorial methods in algebra, hybrid symbolic-numerical methods, algori
Collection: 06271 - Challenges in Symbolic Computation Software
Issue Date: 2006
Date of publication: 25.10.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI