单项选择题 我国最早提出负数概念的数学经典著作是（）.

单项选择题 e和π分别是（）数.

填空题 我国的著名数学家（）在机器证明数学问题上进行了卓有成效的工作。