• Venture

• Referenced in 9 articles [sw14670]
• interface (SPI) that specifies and encapsulates primitive random variables. The SPI supports custom control flow ... proposals based on particle Markov chain Monte Carlo and mean-field variational inference techniques...

• FlexCRFs

• Referenced in 2 articles [sw10649]
• FlexCRFs is a conditional random field toolkit for segmenting and labeling sequence data written ... supports both first-order and second-order Markov CRFs. We have tested FlexCRFs on Linux...

• ADOL-C

• Referenced in 239 articles [sw00019]
• ADOL-C: Automatic Differentiation of C/C++. We present...

• ATLAS

• Referenced in 197 articles [sw00056]
• This paper describes the Automatically Tuned Linear Algebra...

• CASA

• Referenced in 96 articles [sw00108]
• CASA is a special-purpose system for computational...

• Expokit

• Referenced in 179 articles [sw00258]
• Expokit provides a set of routines aimed at...

• FLIPS

• Referenced in 7 articles [sw00299]
• FLIPS (Fortran Linear Inverse Problem Solver) is a...

• GAP

• Referenced in 2876 articles [sw00320]
• GAP is a system for computational discrete algebra...

• gmp

• Referenced in 269 articles [sw00363]
• GMP is a free library for arbitrary precision...

• hsmm

• Referenced in 14 articles [sw00419]
• R package hsmm: Hidden Semi Markov Models: This...

• Isabelle

• Referenced in 611 articles [sw00454]
• Isabelle is a generic proof assistant. It allows...

• KNITRO

• Referenced in 179 articles [sw00490]
• KNITRO is a solver for nonlinear optimization. It...

• LAPACK

• Referenced in 1642 articles [sw00503]
• LAPACK is written in Fortran 90 and provides...

• LSQR

• Referenced in 367 articles [sw00530]
• Algorithm 583: LSQR: Sparse Linear Equations and Least...

• Macaulay2

• Referenced in 1692 articles [sw00537]
• Macaulay2 is a software system devoted to supporting...

• Maple

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

• MapReduce

• Referenced in 251 articles [sw00546]
• MapReduce is a new parallel programming model initially...

• Mathematica

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

• Matlab

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

• Maxima

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