位置：立项数据库 > 立项详情页
代数系统的准确、可信计算
  • 项目名称：代数系统的准确、可信计算
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：60911130369
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：支丽红
  • 依托单位：中国科学院数学与系统科学研究院
  • 批准年度：2009
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 15
  • 8
  • 0
  • 0
  • 0
期刊论文
Multiplicity-preserving triangular set decomposition of two polynomials
Computing the nearest singular univariate polynomials with given root multiplicities
Selecting lengths of floats for the computation of approximate Gr?bner bases
Structures of precision losses in computing approximate Gr?bner bases
Computing the multiplicity structure of an isolated singular solution: Case of breadth one
Artificial discontinuities of single-parametric Gr?bner bases
Exact certification in global polynomial optimization via sums-of-squares of rational functions with
Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions
字典序下BMS算法终止条件的设计
会议论文
Computing rational solutions of linear matrix inequalities
Verfied error bounds for real solutions of positive-dimensional polynomial systems
Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Se
Global optimization of polynomials using generalized critical values and sums of squares
Blind image deconvolution via fast approximate GCD
The minimum-rank gram matrix completion via modified fixed point continuation method
Computing Real Solutions of Polynomial Systems via Low-Rank Moment Matrix Completion
Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polyno
支丽红的项目
符号数值计算国际研讨会
符号和数值混合方法求解多项式方程组
期刊论文 7 会议论文 5
北卡罗莱那州立大学和中国研究教育符号计算合作研讨会
符号和数值混合计算
期刊论文 5 会议论文 6 著作 2
凸代数几何中的若干问题研究
北卡罗利州立大学和中国研究教育符号计算合作研讨会
数学,算法和证明暑期班
基于符号-数值混合计算的误差可控算法及应用
期刊论文 71 会议论文 15