TY - GEN
T1 - FPsolve
T2 - 19th International Conference on Implementation and Application of Automata, CIAA 2014
AU - Esparza, Javier
AU - Luttenberger, Michael
AU - Schlund, Maximilian
N1 - Funding Information:
This work was funded by the DFG project “Polynomial Systems on Semirings: Foundations, Algorithms, Applications”.
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84958537502&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-08846-4_1
DO - 10.1007/978-3-319-08846-4_1
M3 - Conference contribution
AN - SCOPUS:84958537502
SN - 9783319088457
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 15
BT - Implementation and Application of Automata - 19th International Conference, CIAA 2014, Proceedings
PB - Springer Verlag
Y2 - 30 July 2014 through 2 August 2014
ER -