• Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • MARCA

  • Referenced in 31 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...
  • Mathematica

  • Referenced in 6041 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 541 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 419 articles [sw00610]
  • Produced by experts for use in a variety...
  • nauty

  • Referenced in 571 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • R

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

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

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

  • Referenced in 276 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • TPS

  • Referenced in 71 articles [sw00973]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • Cayley

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

  • Referenced in 887 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • Lisp-Stat is an extensible statistical computing environment...
  • PRISM

  • Referenced in 417 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • MACSYMA

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

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

  • Referenced in 266 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim...