Search papers, labs, and topics across Lattice.
1
0
3
Rigorous, certifiably complete solution enclosures for underdetermined nonlinear systems are now achievable through a novel trapezoidal linearization and iterative LP contraction.