pith. sign in

Pixel Arrays: A fast and elementary method for solving nonlinear systems

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

We present a new method, called the pixel array method, for approximating all solutions in a bounding box for an arbitrary nonlinear system of relations. In contrast with other solvers, our approach requires that the user must specify which variables are to be exposed, and which are to be left latent. The entire solution set is then obtained---in terms of these exposed variables---by performing a series of array multiplications on the $n_i$-dimensional plots of the individual relations $R_i$. This procedure introduces no false negatives and is much faster than Newton-based solvers. The key is the unexposed variables, which Newton methods can make no use of. In fact, we found that with even a single unexposed variable our method was more than 10x faster than Julia's NLsolve. Due to its relative simplicity, the pixel array method is also applicable to a broader class of systems than Newton-based solvers are. The purpose of this article is to give an account of this new method.

fields

cs.PL 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Polymorphic Bottom-Up Weighted Relational Programming

cs.PL · 2026-05-14 · unverdicted · novelty 6.0

Presents a compilation method that turns polymorphic semiringKanren programs into equivalent non-polymorphic ones via equality patterns and sufficiently large relation instances, together with a correctness proof.

citing papers explorer

Showing 1 of 1 citing paper.

  • Polymorphic Bottom-Up Weighted Relational Programming cs.PL · 2026-05-14 · unverdicted · none · ref 26 · internal anchor

    Presents a compilation method that turns polymorphic semiringKanren programs into equivalent non-polymorphic ones via equality patterns and sufficiently large relation instances, together with a correctness proof.