FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings

Autor:	Maximilian Schlund, Javier Esparza, Michael Luttenberger
Rok vydání:	2015
Předmět:	Algebra symbols.namesake TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Generic algorithms Computer Science (miscellaneous) symbols Fixed point Solver Newton's method Mathematics
Zdroj:	International Journal of Foundations of Computer Science. 26:805-825
ISSN:	1793-6373 0129-0541
DOI:	10.1142/s0129054115400018
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a6949a493cbfab48fb977c5fae74fb29 https://doi.org/10.1142/s0129054115400018 Zobrazit plný text záznamu