位置：立项数据库 > 立项详情页
实代数和实几何推理的图形探索平台
  • 项目名称：实代数和实几何推理的图形探索平台
  • 项目类别：面上项目
  • 批准号：60273095
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：侯晓荣
  • 依托单位：宁波大学
  • 批准年度：2002
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 4
  • 0
  • 0
  • 0
  • 0
期刊论文
基于数值计算的几何定理自动搜索方法
零维多项式组零点的1种直接表示法
2条二次曲线不变量的一个应用
两个多项式的根的相对分布的显式判定
侯晓荣的项目
数学机械化研究中的例证法
期刊论文 23 会议论文 6