位置：立项数据库 > 立项详情页
数学定理近似证明的基础研究与应用软件开发
  • 项目名称：数学定理近似证明的基础研究与应用软件开发
  • 项目类别：面上项目
  • 批准号：69573013
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：李廉
  • 依托单位：兰州大学
  • 批准年度：1995
李廉的项目
计算化学E-SCIENCE高性能计算与协同计算学术会议
风沙环境中基于机会通信的无线传感器网络组网问题的基础研究及示范性应用
期刊论文 5 会议论文 8 专利 4
计算化学E-SCIENCE研究与示范应用
期刊论文 34 会议论文 40 获奖 2
代数计算及定理机器证明的理论研究与软件开发
网络计算的作业调度方法研究
期刊论文 10 会议论文 3
数学定理机器证明的基础研究与软件开发