Cite
Simplifying the axiomatization for ordered affine geometry via a theorem prover.
MLA
Li, Dafa. “Simplifying the Axiomatization for Ordered Affine Geometry via a Theorem Prover.” Journal of Geometry, vol. 114, no. 2, Aug. 2023, pp. 1–6. EBSCOhost, https://doi.org/10.1007/s00022-023-00671-9.
APA
Li, D. (2023). Simplifying the axiomatization for ordered affine geometry via a theorem prover. Journal of Geometry, 114(2), 1–6. https://doi.org/10.1007/s00022-023-00671-9
Chicago
Li, Dafa. 2023. “Simplifying the Axiomatization for Ordered Affine Geometry via a Theorem Prover.” Journal of Geometry 114 (2): 1–6. doi:10.1007/s00022-023-00671-9.