FPsolve: a generic solver for fixpoint equations over semirings

DOI10.1007/978-3-319-08846-4_1zbMATH Open1302.68330OpenAlexW1027809600MaRDI QIDQ3192248FDOQ3192248

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• kProbLog: An Algebraic Prolog for Kernel Programming
• Verifying a local generic solver in Coq
• Convergence of Newton's method over commutative semirings
• kProbLog: an algebraic Prolog for machine learning
• Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity

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)