據說，西元前350年，梅內克繆斯(Menaechmus 375~320BC)曾經建議把拋物線的製圖儀也列入合法的作圖工具，結果被柏拉圖痛斥一頓。
希波克拉底對倍立方問題也很有研究，把倍立方問題轉化成求比例線段的問題，可能是希波克拉底的貢獻。
「因為用機械方法解倍立方問題被柏拉圖斥責的 還有阿爾庫塔斯(Archytas of Tarentum 428~347BC)，歐多克索斯(Eudoxus 400~347BC)。
用圓柱法解決倍立方問題(Delian problem)。
宇宙浪子朱邦復先生(1937~ )
吳文俊(1919~2017)先生是「機械證明」的先行者。
他認為東方不僅有科學和數學，而且跟西方走的是完全不同的道路，有不同的思想方法。
究竟怎麼不一樣呢？
所謂東方數學，就是中國的古代數學及印度的古代數學。
「中國的古代數學是一種算法的數學，也就是一種計算機的數學。
進入到計算機時代，這種計算機數學或者是算法的數學，剛巧是符合時代要求，符合時代精神的。
從這個意義上來講，我們最古老的數學也是計算機時代最適合、最現代化的數學。」