搜索到 篇“ 几何自动推理 “的相关文章

相关作者

张景中
作品数：373被引量：877H指数：15
供职机构：中国科学院
研究主题：数学 数学家 数学教学 微积分 超级画板
王丽
作品数：1被引量：0H指数：0
供职机构：黑龙江大学
研究主题：几何自动推理 偶图
彭翕成
作品数：245被引量：397H指数：10
供职机构：华中师范大学国家数字化学习工程技术研究中心
研究主题：数学 好玩 《超级画板》 超级画板 数学家
曹源昊
作品数：3被引量：1H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：机器证明 微分几何 共形几何代数 几何自动推理 几何代数
孙媛媛
作品数：3被引量：1H指数：1
供职机构：电子科技大学
研究主题：程序设计 办公自动化 高校管理 工作流技术 流技术