几何学机械化方法及其应用——Ⅰ.距离、面积与体积

吴文俊

A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS——Ⅰ.DISTANCES,AREAS AND VOLUMES

WU WEN-JUN (WU WEN-TSUN)

系统科学与数学 . 1986, (3): 204 -216 . DOI: 10.12341/jssms08845