[数学与数学机械化]林东岱山东教育

【数学与数学机械化】林东岱山东教育.pdf数学与数学机械化 林东岱李文林虞言林址:发行者:印 刷:印 数:1—2000 规 格:850mmm×1168mm32开本 印 张:15印张 字 数:书 号:—5328—3390—9/G3059 定 价:27.数学与数学机械化 为20世纪拓扑学的经典,同时也使国际数学界对中国拓扑学 的成就刮目相看.20世纪70年代以来,吴文俊院士在汲取中 国古代数学精髓的基础上,开创了崭新的现代数学领域一数 学机械化。他发明的被国际上誉为“吴方法”的数学机械化方 法,改变了国际自动推理的面貌,形成了自动推理的中国学 派,已使中国在数学机械化领域处于国际领先地位。上述工作 无疑属于20世纪中国数学赶超国际先进水平的标志性成果,而吴文俊院士博大精深的科学研究,除了拓扑学与数学机械化 以外,还跨越了代数几何、博弈论、中国数学史和应用数学等 众多领域,并在每个领域都留下了这位多能数学家的重要贡 献。吴文俊研究 工作介绍
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。