• 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...