位置：成果数据库 > 会议 > 会议详情页
Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polyno
  • 所属机构名称：中国科学院数学与系统科学研究院
  • 会议名称：ISSAC'12 Proc. 2012International Symposium on Symbolic and Algebraic Computation,
  • 时间：2012.7.22
  • 成果类型：会议
  • 相关项目：基于符号-数值混合计算的误差可控算法及应用
作者： Guo,Feng|Kaltofen, Erich|Zhi, Lihong|
同会议论文项目
基于符号-数值混合计算的误差可控算法及应用
期刊论文 71 会议论文 15
同项目会议论文
Optimizing a Parametric Linear Function over aNon-compact Real Algebraic Variety
Symbolic-numeric algorithms for computing validated results
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
Fast computation of common left multiples of linear ordinary differential operators
组合几何MC 粒子输运支撑软件框架JCOGIN 介绍
Verfied error bounds for real solutions of positive-dimensional polynomial systems
Sparse Difference Resultant
Hermite reduction and creative telescoping for hyperexponential functions
Computing real solutions of polynomial systems via low-rank moment matrix completion
Optimization Problems over Noncompact Semialgebraic Sets
Two variants of HJLS-PSLQ with applications
Numerical and geometric properties of a method for finding points on real solution components
Parallel Telescoping and Parameterized Picard–Vessiot t Theory
Computing rational solutions of linear matrix inequalities