• TFPDE

  • Referenced in 6 articles [sw12622]
  • with tempered stable processes. We develop new probabilistic and deterministic approaches for moment statistics ... Poisson (CP) approximation or the series representation of the TαS process, we simulate the moment ... more efficient and accurate than MC in relatively low dimensions. Then as an alternative approach...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CADNA

  • Referenced in 47 articles [sw00098]
  • CADNA: a library for estimating round-off error...
  • complib

  • Referenced in 34 articles [sw00149]
  • COMPlib: COnstraint matrix-optimization problem library–a collection...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • gmp

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

  • Referenced in 35 articles [sw00373]
  • The concern here is with Gauss-type quadrature...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • 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...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • 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...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • MATCONT

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

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...