基于参数Groebner系统的实量词消去及其应用
批准号：
--
项目类别：
青年科学基金项目
资助金额：
30 万元
负责人：
肖方慧
依托单位：
学科分类：
符号计算与机器证明
结题年份：
--
批准年份：
2022
项目状态：
未结题
项目参与者：
肖方慧
关键词：
相似基金
相关文献
国内基金
海外基金