APA (7th ed.) Citation

Chen, S., Yu, W., Dou, G., & Zhang, Q. A Review on Mechanical Proving and Formalization of Mathematical Theorems. IEEE.

Chicago Style (17th ed.) Citation

Chen, Si, Wensheng Yu, Guowei Dou, and Qimeng Zhang. A Review on Mechanical Proving and Formalization of Mathematical Theorems. IEEE.

MLA (9th ed.) Citation

Chen, Si, et al. A Review on Mechanical Proving and Formalization of Mathematical Theorems. IEEE.