FPsolve: a generic solver for fixpoint equations over semirings

DOI10.1007/978-3-319-08846-4_1MaRDI QIDQ3192248zbMATH OpenOpenAlexFDO

Authors Javier Esparza, Michael Luttenberger, Maximilian Schlund

Publication date 26 September 2014

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08846-4_1

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semirings (16Y60)

Recommendations

• \textsc{FPsolve}: a generic solver for fixpoint equations over semirings
• Solving fixed point equations over complete semirings
• Putting Newton into practice: a solver for polynomial equations over semirings
• An even faster solver for general systems of equations
• Solving fixed-point equations by derivation tree analysis

Cited in

(7)

• Verifying a local generic solver in Coq
• \textsc{FPsolve}: a generic solver for fixpoint equations over semirings
• kProbLog: an algebraic Prolog for kernel programming
• Convergence of Newton's method over commutative semirings
• Finite automata for the sub- and superword closure of CFLs: descriptional and computational complexity
• An even faster solver for general systems of equations
• kProbLog: an algebraic Prolog for machine learning

Describes a project that uses

Uses Software

• FPsolve

This page was built for publication: FPsolve: a generic solver for fixpoint equations over semirings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192248)