SONIC
From MaRDI portal
Cited in
(4)- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
- A framework for existence tests based on the topological degree and homotopy
- scientific article; zbMATH DE number 5773704 (Why is no real title available?)
- Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification
This page was built for software: SONIC
