• PARI/GP

  • Referenced in 568 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • polymake

  • Referenced in 280 articles [sw00724]
  • polymake is open source software for research in...
  • REDUCE

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

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

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

  • Referenced in 122 articles [sw01053]
  • An introduction to the Group Theory Language, Cayley...
  • PERL

  • Referenced in 259 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • BERGMAN

  • Referenced in 34 articles [sw02980]
  • Problems in interaction with the computer algebra system...
  • deal.ii

  • Referenced in 515 articles [sw03516]
  • deal.II is a C++ program library targeted at...
  • Haskell

  • Referenced in 834 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • GetDP

  • Referenced in 36 articles [sw04085]
  • GetDP: a General Environment for the Treatment of...
  • CHEVIE

  • Referenced in 213 articles [sw04235]
  • CHEVIE is a computer algebra project for symbolic...
  • FEniCS

  • Referenced in 493 articles [sw04314]
  • The FEniCS Project is a collaborative project for...
  • fda (R)

  • Referenced in 1215 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • Gfan

  • Referenced in 107 articles [sw04698]
  • Gfan is a software package for computing Gröbner...
  • Kan

  • Referenced in 45 articles [sw04929]
  • Kan/sm1 (1991--2003) is a system for computing...
  • Prover9

  • Referenced in 172 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • COBYLA2

  • Referenced in 38 articles [sw05136]
  • The functions depend on few variables (some hundred...
  • Getfem++

  • Referenced in 51 articles [sw05721]
  • The Getfem project focuses on the development of...