A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Putting Newton into Practice: A Solver for Polynomial Equations over Semirings
[chapter]
2013
Lecture Notes in Computer Science
We present the first implementation of Newton's method for solving systems of equations over ω-continuous semirings (based on [5, 11] ). For instance, such equation systems arise naturally in the analysis of interprocedural programs or the provenance computation for Datalog. Our implementation provides an attractive alternative for computing their exact least solution in some cases where the ascending chain condition is not met and hence, standard fixed-point iteration needs to be combined with
doi:10.1007/978-3-642-45221-5_48
fatcat:w7drmoqflfdejakz2ni64se2ci