Cite
A Machine Proof System of Point Geometry Based on Coq.
MLA
Lei, Siran, et al. “A Machine Proof System of Point Geometry Based on Coq.” Mathematics (2227-7390), vol. 11, no. 12, June 2023, p. 2757. EBSCOhost, https://doi.org/10.3390/math11122757.
APA
Lei, S., Guan, H., Jiang, J., Zou, Y., & Rao, Y. (2023). A Machine Proof System of Point Geometry Based on Coq. Mathematics (2227-7390), 11(12), 2757. https://doi.org/10.3390/math11122757
Chicago
Lei, Siran, Hao Guan, Jianguo Jiang, Yu Zou, and Yongsheng Rao. 2023. “A Machine Proof System of Point Geometry Based on Coq.” Mathematics (2227-7390) 11 (12): 2757. doi:10.3390/math11122757.