• PLUMP

  • Referenced in 14 articles [sw00718]
  • The joint CSCS-ETH/NEC collaboration in parallel...
  • PolyBoRi

  • Referenced in 40 articles [sw00723]
  • This work presents a new framework for Gröbner...
  • polymake

  • Referenced in 259 articles [sw00724]
  • polymake is a tool to study the combinatorics...
  • QEPCAD

  • Referenced in 263 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 6189 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 704 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • RelView

  • Referenced in 98 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • SageMath

  • Referenced in 1230 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • Scilab

  • Referenced in 148 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • SINGULAR

  • Referenced in 1174 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • slimgb

  • Referenced in 18 articles [sw00878]
  • Slimgb is a variation of Buchbergers’s algorithm...
  • MACSYMA

  • Referenced in 688 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • ML

  • Referenced in 476 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALGOL 68

  • Referenced in 259 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • XBOOLE

  • Referenced in 7 articles [sw01369]
  • XBOOLE -- a toolbox for modelling, simulation, and analysis...
  • ISETL

  • Referenced in 20 articles [sw01370]
  • ISETL: A programming language for learning mathematics This...
  • CP-nets

  • Referenced in 122 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • OpenMusic

  • Referenced in 5 articles [sw01449]
  • OpenMusic: visual programming environment for music composition, analysis...