• MATCONT

• Referenced in 443 articles [sw00551]
• MATCONT: Matlab software for bifurcation study of dynamical...

• Mathematica

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

• Matlab

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

• Maxima

• Referenced in 170 articles [sw00560]
• Maxima is a system for the manipulation of...

• mclust

• Referenced in 309 articles [sw00563]
• R package mclust: Normal Mixture Modeling for Model...

• MiniSat

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

• NAG

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

• nauty

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

• Octave

• Referenced in 304 articles [sw00646]
• GNU Octave is a high-level language, primarily...

• R

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

• REDUCE

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

• ScaLAPACK

• Referenced in 418 articles [sw00830]
• ScaLAPACK is an acronym for scalable linear algebra...

• Scilab

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

• Sostools

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

• SUNDIALS

• Referenced in 241 articles [sw00927]
• SUNDIALS was implemented with the goal of providing...

• AUTO

• Referenced in 943 articles [sw01059]
• AUTO is a software for continuation and bifurcation...

• SCIP

• Referenced in 542 articles [sw01091]
• SCIP is currently one of the fastest non...

• GLIM

• Referenced in 193 articles [sw01126]
• GLIM - a system for interactive fitting of generalized...

• SERBA

• Referenced in 156 articles [sw01160]
• SERBA: a B.I.E. program with linear elements for...

• PRISM

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