符号计算技术及其应用
基本信息
批准号：10371127
项目类别：面上项目
资助金额：13.00
负责人：刘卓军
学科分类：
依托单位：中国科学院数学与系统科学研究院
批准年份：2003
结题年份：2006
起止时间：2004-01-01 - 2006-12-31
项目状态： 已结题
项目参与者：刘胜强,谭作文,唐春明,张艳硕,张帅
关键词：
数学机械化方法计算机代数机器证明符号计算
结项摘要
数学计算能力已经远远无法由传统的数值计算全面反映。吴文俊教授倡导并创立和推进的数学机械化的方法首先在几何定理证明领域取得成功进而找到了更为广泛的应用。其中开展精确计算即符号计算是非常重要的环节。与此同时,若干功能丰富的计算机代数系统，如Maple和Mathematica的出现，使得学术界和工业界更加重视符号计算。然而作为最为基本的符号计算工具，无论是多项式的整序方法还是Groebner Bases
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
新型树启发式搜索算法的机器人路径规划
新型树启发式搜索算法的机器人路径规划
DOI：10.3778/j.issn.1002-8331.1903-0411
发表时间：2020
2
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
3
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
DOI：10.19762/j.cnki.dizhixuebao.2021191
发表时间：2021
4
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
DOI：10.13973/j.cnki.robot.210412
发表时间：2022
5
黄曲霉毒素B1检测与脱毒方法最新研究进展
黄曲霉毒素B1检测与脱毒方法最新研究进展
DOI：10.3969/j.issn.1000-4440.2021.03.031
发表时间：2021
刘卓军的其他基金
批准号：19001034
批准年份：1990
资助金额：1.00
项目类别：青年科学基金项目
相似国自然基金
1
符号计算技术在代数攻击方法中的应用的有关研究
批准号：60573041
批准年份：2005
负责人：王明生
学科分类：F0206
资助金额：23.00
项目类别：面上项目
2
符号模式矩阵理论及其应用研究
批准号：10871166
批准年份：2008
负责人：苗正科
学科分类：A0408
资助金额：23.00
项目类别：面上项目
3
浑沌理论的符号动力学研究及其应用
批准号：69304006
批准年份：1993
负责人：江中岳
学科分类：F0304
资助金额：5.00
项目类别：青年科学基金项目
4
斑点诊断与容错计算技术研究及应用
批准号：61074077
批准年份：2010
负责人：胡绍林
学科分类：F0301
资助金额：30.00
项目类别：面上项目