
deGradInfer
 Referenced in 10 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 AGMstyle revision. While the tool...

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Isabelle
 Referenced in 622 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Magma
 Referenced in 2998 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

MPFR
 Referenced in 214 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 216 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...