张小明
作品数: 1被引量:0H指数:0
  • 研究方向:理学

相关作者

刘保乾
作品数:22被引量:50H指数:8
供职机构:西藏自治区人事厅
研究主题:差分代换 不等式 多项式 分拆 机器证明