A complete nonlinear system solver using affine arithmetic

Abstract

A general framework is presented for finding all solutions to systems of nonlinear equations, or proving that there is no solution to the problem. Components of this framework are interval arithmetic, affine arithmetic, constraint propagation based on directed acyclic graph (DAG) representation of the problem, a pruning technique based on linear programming… (More)

5 Figures and Tables

Topics

  • Presentations referencing similar topics