APA (7th ed.) Citation

Huang, Z., England, M., Wilson, D. J., Bridge, J., Davenport, J. H., & Paulson, L. C. (2019). Using Machine Learning to Improve Cylindrical Algebraic Decomposition. Mathematics in computer science, 13(4), 461-488. https://doi.org/10.1007/s11786-019-00394-8

Chicago Style (17th ed.) Citation

Huang, Zongyan, Matthew England, David J. Wilson, James Bridge, James H. Davenport, and Lawrence C. Paulson. "Using Machine Learning to Improve Cylindrical Algebraic Decomposition." Mathematics in Computer Science 13, no. 4 (2019): 461-488. https://doi.org/10.1007/s11786-019-00394-8.

MLA (9th ed.) Citation

Huang, Zongyan, et al. "Using Machine Learning to Improve Cylindrical Algebraic Decomposition." Mathematics in Computer Science, vol. 13, no. 4, 2019, pp. 461-488, https://doi.org/10.1007/s11786-019-00394-8.