A faster solver for general systems of equations

DOI10.1016/S0167-6423(99)00009-XzbMath0948.68016OpenAlexW2086558155MaRDI QIDQ1818073

Christian Fecht, Helmut Seidl

Publication date: 22 November 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(99)00009-x

zbMATH Keywords

partial approximate solution

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Three improvements to the top-down solver ⋮ Demand-driven interprocedural analysis for map-based abstract domains ⋮ Region Analysis for Race Detection ⋮ A Scalable Inclusion Constraint Solver Using Unification ⋮ A class of polynomially solvable range constraints for interval analysis without widenings ⋮ UN-KLEENE BOOLEAN EQUATION SOLVING