2006/01/01 by Wolfram Decker, Mike Dewar, Decker, Wolfram +5
Computer Science · #Polynomial and algebraic computation #Symbolic computation #algori #combinatorial methods in algebra #computational algebraic geometry #computer algebra #hybrid symbolic-numerical methods
paper · doi:10.4230/dagsemproc.06271.2
openalex publication_date 2006/01/01 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
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.