
etasFLP
 Referenced in 7 articles
[sw18148]
 package etasFLP. Mixed FLP and ML Estimation of ETAS SpaceTime 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...