Zhengkun Ye
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 13
Publications (10 Years): 13
Publications
- Ahmed Tanvir Mahdad, Cong Shi, Zhengkun Ye, Tianming Zhao, Yan Wang, Yingying Chen, Nitesh Saxena
- Kevin Lee, Zhengkun Ye, Angeliki Koutsoukou-ArgyrakiPolygonal Number Theorem. Arch. Formal Proofs 2023 (2023)