
Venture
 Referenced in 9 articles
[sw14670]
 primitive random variables. The SPI supports custom control flow, higherorder probabilistic procedures, partially exchangeable ... particle Markov chain Monte Carlo and meanfield variational inference techniques...

Ev8
 Referenced in 1 article
[sw17652]
 that can be introduced in the meanfield equations has been improved. The code ... elongated or triaxial deformations with a wellcontrolled accuracy...

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

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

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

CONTENT
 Referenced in 37 articles
[sw01058]
 Bifurcations of maps in the software package CONTENT...

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

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

FreeFem++
 Referenced in 1134 articles
[sw01436]
 FreeFem++ is an implementation of a language dedicated...

EnKF
 Referenced in 376 articles
[sw02066]
 EnKFThe Ensemble Kalman Filter The EnKF is...

COLNEW
 Referenced in 146 articles
[sw03169]
 Collocation method for the solution of nonlinear problems...

BLAS
 Referenced in 489 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

SDPT3
 Referenced in 647 articles
[sw04009]
 This software is designed to solve conic programming...

RODAS
 Referenced in 1605 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...

MRMC
 Referenced in 70 articles
[sw04129]
 The ins and outs of the probabilistic model...

ABAQUS
 Referenced in 1498 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful...

AUTO86
 Referenced in 276 articles
[sw04220]
 AUTO is a software for continuation and bifurcation...

FEniCS
 Referenced in 636 articles
[sw04314]
 The FEniCS Project is a collaborative project for...

rms
 Referenced in 90 articles
[sw04532]
 R package rms: Regression Modeling Strategies , Regression modeling...

CVX
 Referenced in 745 articles
[sw04594]
 CVX is a modeling system for constructing and...