
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 AGMstyle 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]
 EnKFThe 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...