• 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 AGM-style 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]
  • EnKF-The 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...
  • ZEN

  • Referenced in 3 articles [sw23762]
  • ZEN: A toolbox for fast computation in finite...