
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 meanfield 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 firstorder and secondorder Markov CRFs. We have tested FlexCRFs on Linux...

ADOLC
 Referenced in 239 articles
[sw00019]
 ADOLC: 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 specialpurpose 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 highlevel language and interactive...

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