我國著名數(shù)學家（）等人利用代數(shù)方法設計了一整套的機械化程序，在1980年前后實現(xiàn)了初等幾何和微分幾何中的一些主要定理的機器證明，國際上稱他的方法為“吳方法”，使得中國學者在數(shù)學機械化領(lǐng)域處于領(lǐng)先地位，為計算數(shù)學和計算機技術(shù)的發(fā)展開辟了廣闊的前景。

高次方程的數(shù)值解法是宋元數(shù)學的突出成就之一。

用圓錐曲線解三次方程的阿拉伯數(shù)學家是（）

古希臘數(shù)學的時代特征以論證幾何為主。

高于四次的代數(shù)方程不可根式解的問題由（）證明出來的。