Results 1 to 11 of 11
Sort by:

  • 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...