【名词&注释】
笛卡尔(descartes)、平行四边形(parallelogram)、三角形(triangle)、卓有成效(fruitful)、帕斯卡(pascal)、公元前(bc)、著名数学家(famous mathematician)
[填空题]我国的著名数学家(famous mathematician)()在机器证明数学问题上进行了卓有成效的工作。