18世纪初，生于意大利的法国天文学家（）是将蜂房结构问题正式提出来的第一人。

中国科学院院士（）首先在平面几何定理方面取得突破，成功地那立了计算机证明理论。

填空题中国科学院院士（）首先在平面几何定理方面取得突破，成功地那立了计算机证明理论。

中国古代常用实物当长和宽的单位，如《（）》：宋徽宗皇帝手指，三节为三寸。

填空题中国古代常用实物当长和宽的单位，如《（）》：宋徽宗皇帝手指，三节为三寸。

袓冲之，字文远，祖籍郡遒县，（今（）县）。

填空题袓冲之，字文远，祖籍郡遒县，（今（）县）。