Author:
Bouzidi Yacine,Quadrat Alban,Rouillier Fabrice,Younes Grace
Publisher
Springer International Publishing
Reference18 articles.
1. Aubry, P., Maza, M.M.: Triangular sets for solving polynomial systems: a comparative implementation of four methods. J. Symb. Comput. 28(1–2), 125–154 (1999)
2. Basu, S., Pollack, R., Roy, M.F.: Existential theory of the reals, volume 10 of algorithms and computation in mathematics (2006)
3. Bouzidi, Y., Lazard, S., Moroz, G., Pouget, M., Rouillier, F., Sagraloff, M.: Solving bivariate systems using rational univariate representations. J. Complex. 37, 34–75 (2016)
4. Bouzidi, Y., Lazard, S., Pouget, M., Rouillier, F.: Separating linear forms and rational univariate representations of bivariate systems. J. Symb. Comput. 68, 84–119 (2015)
5. Boyd, S., Balakrishnan, V., Kabamba, P.: A bisection method for computing the $$h_{\infty }$$ norm of a transfer matrix and related problems. Math. Control Signals Syst. 2(3), 207–219 (1989)