• Venture

  • Referenced in 9 articles [sw14670]
  • primitive random variables. The SPI supports custom control flow, higher-order probabilistic procedures, partially exchangeable ... particle Markov chain Monte Carlo and mean-field variational inference techniques...
  • Ev8

  • Referenced in 1 article [sw17652]
  • that can be introduced in the mean-field equations has been improved. The code ... elongated or triaxial deformations with a well-controlled 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]
  • EnKF-The 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]
  • Low-level 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...
  • AUTO-86

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