SONIC
From MaRDI portal
Software:22836
Author name not available (Why is that?)
Related Items (4)
Title not available (Why is that?) ⋮ Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification ⋮ A framework for existence tests based on the topological degree and homotopy ⋮ Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
This page was built for software: SONIC
