-
deGradInfer
- Referenced in 9 articles
[sw25417]
- inference is based on adaptive gradient matching (AGM, Dondelinger et al. 2013 http://proceedings.mlr.press/v31/dondelinger13a.pdf>,...
-
GenB
- Referenced in 1 article
[sw18668]
- GenB: a general solver for AGM revision. We describe a general tool for solving belief ... able to calculate the result of any AGM revision operator. The user is also able ... that can be used in applications involving AGM-style revision. While the tool...
-
gmp
- Referenced in 269 articles
[sw00363]
- GMP is a free library for arbitrary precision...
-
Isabelle
- Referenced in 606 articles
[sw00454]
- Isabelle is a generic proof assistant. It allows...
-
Magma
- Referenced in 2917 articles
[sw00540]
- Computer algebra system (CAS). Magma is a large...
-
EnKF
- Referenced in 358 articles
[sw02066]
- EnKF-The Ensemble Kalman Filter The EnKF is...
-
MPFR
- Referenced in 209 articles
[sw03312]
- The MPFR library is a C library for...
-
MPC
- Referenced in 14 articles
[sw07251]
- GNU MPC is a C library for the...
-
GSLIB
- Referenced in 210 articles
[sw08284]
- GSLIB is an acronym for Geostatistical Software LIBrary...
-
algorithm 577
- Referenced in 20 articles
[sw22823]
- Algorithm 577: Algorithms for incomplete elliptic integrals. ...
-
ZEN
- Referenced in 3 articles
[sw23762]
- ZEN: A toolbox for fast computation in finite...