從歷史發(fā)展的角度看，概率論的發(fā)生和發(fā)展過程大致分為哪些階段？

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

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

將微積分學基本概念進行嚴密論述，成為嚴格微積分學的奠基者的是（）

發(fā)明“零”的數學家是（）

概率論學科的發(fā)展過程中重要著作有（）

解析幾何的建立者是（）

微分方程近似解法的創(chuàng)始人是（）

劉徽用割圓術得到的圓周率稱為徽率，化成分數就是（）

第一個給出微積分基本定理嚴格證明的是（）