夏壁灿
作品数： 11被引量：27H指数：3
  • 所属机构:北京大学数学科学学院
  • 所在地区:北京市
  • 研究方向:理学
  • 发文基金:国家自然科学基金

相关作者

杨路
作品数：30被引量：242H指数：11
供职机构：中国科学院成都计算机应用研究所
研究主题：机器证明 多项式 结式 几何定理 差分代换
王龙
作品数：317被引量：502H指数：15
供职机构：清华大学
研究主题：仿生机器鱼 机器鱼 假肢 鲁棒性 稳定性
何冠男
作品数：8被引量：10H指数：1
供职机构：北京化工大学信息科学与技术学院
研究主题：复分析 机器证明 控制器设计 注记 巧克力
张志海
作品数：2被引量：1H指数：1
供职机构：北京大学数学科学学院
研究主题：重数 多项式 局部环 多项式系统 吴方法
曾振柄
作品数：88被引量：309H指数：10
供职机构：上海大学理学院数学系
研究主题：多项式 可读证明 数学机械化 特征提取 数据挖掘
作品列表