• Citations Per Year
Learn More
Most result-verifying solvers for nonlinear systems include a branchand-bound algorithmic backbone, complemented with accelerating methods such as constraint propagation, interval Newton, and many others. Often the effectiveness of the accelerators can be improved if one works not only with the given system but also with expanded systems, which are obtained(More)
  • 1