A faster solver for general systems of equations

DOI10.1016/S0167-6423(99)00009-XMaRDI QIDQ1818073zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• An even faster solver for general systems of equations
• scientific article; zbMATH DE number 4110161
• FPsolve: a generic solver for fixpoint equations over semirings
• Precise Fixpoint Computation Through Strategy Iteration
• Least solutions of equations over N

Cited in

(8)

• Demand-driven interprocedural analysis for map-based abstract domains
• A class of polynomially solvable range constraints for interval analysis without widenings
• Region Analysis for Race Detection
• UN-KLEENE BOOLEAN EQUATION SOLVING
• scientific article; zbMATH DE number 2143089 (Why is no real title available?)
• An even faster solver for general systems of equations
• Three improvements to the top-down solver
• A Scalable Inclusion Constraint Solver Using Unification

This page was built for publication: A faster solver for general systems of equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1818073)