FPsolve

FPsolve: a generic solver for fixpoint equations over semirings. We introduce FPsolve, an implementation of generic algorithms for solving fixpoint equations over semirings. We first illustrate the interest of generic solvers by means of a scenario. We then succinctly describe some of the algorithms implemented in the tool, and provide some implementation details.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Polishchuk, Valentin; Sedov, Leonid: Gender-aware facility location in multi-gender world (2018)
  2. Orsini, Francesco; Frasconi, Paolo; De Raedt, Luc: kProbLog: an algebraic Prolog for machine learning (2017)
  3. Orsini, Francesco; Frasconi, Paolo; De Raedt, Luc: kProbLog: an algebraic Prolog for kernel programming (2016)
  4. Esparza, Javier; Luttenberger, Michael; Schlund, Maximilian: \textscFPsolve: a generic solver for fixpoint equations over semirings (2015)
  5. Esparza, Javier; Luttenberger, Michael; Schlund, Maximilian: FPsolve: a generic solver for fixpoint equations over semirings (2014)
  6. Schlund, Maximilian; Terepeta, Michał; Luttenberger, Michael: Putting Newton into practice: a solver for polynomial equations over semirings (2013)