吴文俊特别重视数学机械化方法的应用,欧博注册明确提出“数学机械化方法的成功应用,是数学机械化研究的生命线。”他不断开拓新的应用领域,欧博代理如控制论、曲面拼接问题、机构设计、化学平衡问题、平面天体运行的中心构形等,还建立了解决全局优化问题的新方法。他的开拓性成果,欧博官网导致了大量的后续性工作。吴消元法还被用于若干高科技领域,得到一系列国际领先的成果,欧博娱乐包括曲面造型、机器人结构的位置分析、智能计算机辅助设计(CAD)、信息传输中的图像压缩等。数学机械化研究是由中国数学家开创的研究领域,并引起国外数学家的高度重视。吴方法传到国外后,欧博allbet一些著名学府和研究结构,如Ox-ford,INRIA,Cornell等,纷纷举办研讨会介绍和学习吴方法。国际自动推理杂志JAR与美国数学会的“现代数学”,破例全文转载吴文俊的两篇论文。美国人工智能协会前主席W.Bledsoe等人主动写信给中国主管科技的领导人,称赞“吴关于平面几何定理自动证明的工作是一流的。他独自使中国在该领域进入国际领先地位”。 [13] (责任编辑:) |