Browsing CS Technical Reports by Subject "Newton's method"
Now showing items 1-1 of 1
-
Newtonian Program Analysis via Tensor Product
(2016-02-10)Recently, Esparza et al. generalized Newton's method -- a numerical-analysis algorithm for finding roots of real-valued functions -- to a method for finding fixed-points of systems of equations over semirings. Their method ...