Ba jin chuang zuo ping lunBeijing shi fan da xue. Zhong wen xi. Ba Jin chuang zuo yan jiu xiao zu · First published 1958Open the Tome
Mechanical theorem proving in geometriesWu, Wen-tsün., Went Sun Wu, Xiao Fan Jin, Dong Ming Wang · First published 1994Open the Tome