SONIC

swMATH10883MaRDI QIDQ22836FDOQ22836

Author name not available (Why is that?)

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
• Title not available (Why is that?)
• Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification

This page was built for software: SONIC