Putting Newton into Practice: A Solver for Polynomial Equations over Semirings.
Maximilian Schlund, Michal Terepeta, Michael Luttenberger
Browse the full LPAR paper archive.
Maximilian Schlund, Michal Terepeta, Michael Luttenberger
Browse the full LPAR paper archive.