Automated Discovery of Geometric Theorems Based on Vector Equations.

MLA

Peng, Xicheng, et al. “Automated Discovery of Geometric Theorems Based on Vector Equations.” Journal of Automated Reasoning, vol. 65, no. 6, Aug. 2021, pp. 711–26. EBSCOhost, https://doi.org/10.1007/s10817-021-09591-2.

APA

Peng, X., Chen, Q., Zhang, J., & Chen, M. (2021). Automated Discovery of Geometric Theorems Based on Vector Equations. Journal of Automated Reasoning, 65(6), 711–726. https://doi.org/10.1007/s10817-021-09591-2

Chicago

Peng, Xicheng, Qihang Chen, Jingzhong Zhang, and Mao Chen. 2021. “Automated Discovery of Geometric Theorems Based on Vector Equations.” Journal of Automated Reasoning 65 (6): 711–26. doi:10.1007/s10817-021-09591-2.