实验数学对传统演绎数学的挑战与影响

• The influence and challenge of experiment mathematics on the traditional deduction mathematics