Formalization of Complex Analysis and Matrix TheoryZhiping Shi, Yong Guan, Ximeng Li · First published 2020Open the Tome
中國合會之研究Ximeng Yang, Guo li zhong yang yan jiu yuan she hui ke xue yan jiu suo (China) · First published 1935Open the Tome
