ByNobleID
    Numerical Validation of Solutions of Nonlinear Complementarity Problems (Self-validating numerical methods and related topics) | NobleID