Sign in

Certified numerical real root isolation for bivariate nonlinear systems.

Jin-San ChengJunyi WenBingwei Zhang
Published in: J. Symb. Comput. (2023)
Keyphrases