数学机械化国际会议

吴文俊院士于1979年发表了几何定理机器证明的吴方法，创立了数学机械化研究方向，在国内外产生了重要影响。数学机械化方法不仅是重要的数学进展，还被应用于计算机图形学、计算机视觉、机器人、数控机床多高科技领域。我们计划在吴文俊院士创立数学机械化方法三十年之际，召开"数学机械化国际会议"，邀请国内外在数学机械化、数学史、计算拓扑学领域前沿工作的著名学者，介绍相关学科的最新进展、数学机械化方法的交叉研究以及在高科技中的应用。力争将本次会议办成国内外的学术界交流的重要平台，对促进数学机械化理论发展、探讨数学机械化在多学科领域的应用，解决国内科学技术经济问题等等产生有价值的影响。也让青年研究人员了解最新的学术进展，培养青年科研人才，形成具有国际影响的创新科研团队。