• smerfs

• Referenced in 8 articles [sw23987]
• efficient simulation of isotropic Gaussian random fields on the unit sphere is a task encountered ... numerical applications. A fast algorithm based on Markov properties and fast Fourier transforms...

• Venture

• Referenced in 10 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 249 articles [sw00019]
• ADOL-C: Automatic Differentiation of C/C++. We present...

• ATLAS

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

• CASA

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

• Expokit

• Referenced in 200 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 3189 articles [sw00320]
• GAP is a system for computational discrete algebra...

• gmp

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

• Gmsh

• Referenced in 767 articles [sw00366]
• Gmsh is a 3D finite element grid generator...

• hsmm

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

• hypre

• Referenced in 329 articles [sw00426]
• hypre is a software library for the solution...

• Isabelle

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

• KNITRO

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

• LAPACK

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

• LSQR

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

• Macaulay2

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

• Magma

• Referenced in 3315 articles [sw00540]
• Computer algebra system (CAS). Magma is a large...

• Maple

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