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