当前位置：
数字出版物超市 >> 
数学机械化研究中的例证法
数学机械化研究中的例证法
【项目名称】 数学机械化研究中的例证法
【项目编号】 10571095
【项目目标】
【项目关键词】 实代数数 例证法 数学机械化 代数数 符号 多元多项式 笛卡尔符号法则 Maple系统 实根 结式 浮点数 运算 三元组 多项式 连续函数 符号计算方法 区间运算 新算法 判定算法 测试实例 实代数 几何理论 行文 应用文 判定问题 代数运算 基础知识 符号计算 数值计算 算法 计算机
【项目承办单位】 宁波大学;
【项目负责人】 侯晓荣;
【项目来源】 国家自然科学基金项目
【涉及学科】 机械工业;数学
【科研经费】 24万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2004-12-07
    【申请截止时间】 2005-03-31
    【立项时间】 2006-01
    【完成时间】 2008-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....