• etasFLP

  • Referenced in 7 articles [sw18148]
  • package etasFLP. Mixed FLP and ML Estimation of ETAS Space-Time Point Processes. Estimation ... parametric background seismicity can be estimated through FLP (Forward Likelihood Predictive), while parametric components...
  • Constructive Proof FLP

  • Referenced in 2 articles [sw28832]
  • Mechanical verification of a constructive proof for FLP. The impossibility of distributed consensus with ... results, we validate the fundamental result named FLP after Fischer, Lynch and Paterson by using ... Völzer’s paper “A constructive proof for FLP”. In addition to the enhanced confidence...
  • redpl.pl

  • Referenced in 1 article [sw36431]
  • special tools (“functions”) for Functional Logic Programming (FLP). These tools defined as expression reductors (instead...
  • FLP Spreadsheet Solver

  • Referenced in 0 articles [sw15523]
  • Microsoft Excel workbook ”FLP Spreadsheet Solver” is an open source unified platform for representing, solving...
  • Coq

  • Referenced in 1898 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 714 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • QAPLIB

  • Referenced in 233 articles [sw00751]
  • A collection of electronically available data instances for...
  • LINGO

  • Referenced in 321 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • HOL

  • Referenced in 593 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Nuprl

  • Referenced in 396 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • Locales

  • Referenced in 41 articles [sw12448]
  • Locales: a module system for mathematical theories. Locales...