China) Chang bi he suan xue shu tao lun hui (1983 Chengdu