
SpiCO
 Referenced in 10 articles
[sw10691]
 stochastic pi calculus for concurrent objects. We present SpiCO, a new modeling and simulation language ... biology. SpiCO is based on the stochastic $pi $ calculus. It supports higher level modeling ... compile SpiCO back into the biochemical stochastic $pi $ calculus while preserving semantics...

Church
 Referenced in 50 articles
[sw08946]
 describing stochastic generative processes. Church is based on the Lisp model of lambda calculus, containing ... also includes a novel language construct, the stochastic memoizer, which enables simple description of many...

MegaWave
 Referenced in 27 articles
[sw04428]
 viewpoint the closest field to it is stochastic geometry, involving basic probability and statistics ... requires only a background of elementary calculus and probability. A large number of illustrations, exercises...

stochastic
 Referenced in 16 articles
[sw18346]
 schemes. The MAPLE package, which is called ‘stochastic’, was created to fulfil a need ... conform to the rules of deterministic calculus. The construction of higherorder schemes by hand ... This paper includes stochastic numerical schemes and demonstrates procedures from the stochastic package which automate...

MarCaSPiS
 Referenced in 5 articles
[sw06957]
 Sessions and Pipelines). CaSPiS is a core calculus where sessions and pipelines are viewed ... MarCaSPiS specifications logic SoSL (Service Oriented Stochastic Logic) has been introduced. This is a stochastic...

StocHy
 Referenced in 3 articles
[sw36937]
 StocHy accepts a highlevel description of stochastic models and constructs an equivalent SHS model ... employs manipulations based on vector calculus, the use of sparse matrices, the symbolic construction...

CADNA
 Referenced in 44 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

CGAL
 Referenced in 362 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

Expokit
 Referenced in 180 articles
[sw00258]
 Expokit provides a set of routines aimed at...

GAP
 Referenced in 2948 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 134 articles
[sw00344]
 The gfun package provides tools for determining and...

HSL
 Referenced in 274 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

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

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

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

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 253 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

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