06271 Executive Summary - Challenges in Symbolic Computation Software

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

Thumbnail PDF


  • Filesize: 56 kB
  • 2 pages

Document Identifiers

Author Details

Wolfram Decker
Mike Dewar
Erich Kaltofen
Stephen M. Watt

Cite AsGet BibTex

Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt. 06271 Executive Summary - Challenges in Symbolic Computation Software. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


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.
  • Symbolic computation
  • computer algebra
  • computational algebraic geometry
  • combinatorial methods in algebra
  • hybrid symbolic-numerical methods
  • algori


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail