Παραπομπή σε μορφή APA (7η εκδ.)

Dou, G., & Yu, W. (2025). A Machine Proof of the Filter-Method Construction for Real Numbers. Mathematics (2227-7390), 13(17), 2707-2736. https://doi.org/10.3390/math13172707

Παραπομπή σε μορφή Chicago (17η εκδ.)

Dou, Guowei, και Wensheng Yu. "A Machine Proof of the Filter-Method Construction for Real Numbers." Mathematics (2227-7390) 13, no. 17 (2025): 2707-2736. https://doi.org/10.3390/math13172707.

Παραπομπή σε μορφή MLA (9th εκδ.)

Dou, Guowei, και Wensheng Yu. "A Machine Proof of the Filter-Method Construction for Real Numbers." Mathematics (2227-7390), vol. 13, no. 17, 2025, pp. 2707-2736, https://doi.org/10.3390/math13172707.