数学机械化

0
  • 我国数学机械化研究挺立国际前沿

    数学机械化是国家最高科技奖得主吴文俊的主要成就。完全由中国人开创的这一领域目前进展如何?记者日前从中国科学院数学与系统科学院获悉,在吴文俊的指导下,我国数学机械化研究近年来取得了一系列新进展,使我国继[详细]

    2001-02-26 00:00 分类:企业动态
// (function(){ var bp = document.createElement("script"); var curProtocol = window.location.protocol.split(":")[0]; if (curProtocol ==="https"){ bp.src = "https://zz.bdstatic.com/linksubmit/push.js"; } else{ bp.src = "http://push.zhanzhang.baidu.com/push.js"; } var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(bp, s); })();