Iwane, H., Yanami, H., Anai, H., & Yokoyama, K. (2013). An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination. Theoretical computer science, 479, 43-69. https://doi.org/10.1016/j.tcs.2012.10.020
Chicago-Zitierstil (17. Ausg.)Iwane, Hidenao, Hitoshi Yanami, Hirokazu Anai, und Kazuhiro Yokoyama. "An Effective Implementation of Symbolic–numeric Cylindrical Algebraic Decomposition for Quantifier Elimination." Theoretical Computer Science 479 (2013): 43-69. https://doi.org/10.1016/j.tcs.2012.10.020.
MLA-Zitierstil (9. Ausg.)Iwane, Hidenao, et al. "An Effective Implementation of Symbolic–numeric Cylindrical Algebraic Decomposition for Quantifier Elimination." Theoretical Computer Science, vol. 479, 2013, pp. 43-69, https://doi.org/10.1016/j.tcs.2012.10.020.