您的位置： 专家智库 > >

国家自然科学基金(60273095)

作品数：2 被引量：0H指数：0
相关作者：侯晓荣薛利陈旻沈蕾更多>>
相关机构：宁波大学曲阜师范大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：理学自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 1篇定理
  • 1篇证法
  • 1篇四边形
  • 1篇搜索
  • 1篇搜索方法
  • 1篇例证
  • 1篇例证法
  • 1篇几何定理
  • 1篇构形

机构

  • 2篇宁波大学
  • 1篇曲阜师范大学

作者

  • 2篇侯晓荣
  • 1篇沈蕾
  • 1篇陈旻
  • 1篇薛利

传媒

  • 1篇华东师范大学...
  • 1篇宝鸡文理学院...

年份

  • 1篇2006
  • 1篇2003
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
两条平面二次曲线交点的构形
2003年
给出了2条平面实文字系数二次曲线有4个实交点的条件,并给出了由4点构成的四边形为凹(凸)的判别条件。
陈旻沈蕾侯晓荣
关键词：四边形
基于数值计算的几何定理自动搜索方法
2006年
该文提出了利用数值方法进行几何定理自动搜索的方法,并基于此方法开发了几何定理动态搜索系统．该系统不但可以证明构造性的初等平面几何命题,而且也实现了对非构造性几何命题的定理搜索．
薛利侯晓荣
关键词：例证法
全选 清除 导出
共1页<1>
聚类工具0