位置：成果数据库 > 期刊 > 期刊详情页
A Certicate for Semidefinite Relaxations in Computing Positive-Dimensional Real Radical Ideals
  • ISSN号：0747-7171
  • 期刊名称：Journal of Symbolic Computation
  • 时间：2015
  • 页码：1-20
  • 相关项目：基于符号-数值混合计算的误差可控算法及应用
作者： Yue, Ma|Chu, Wang|Lihong, Zhi|
同期刊论文项目
基于符号-数值混合计算的误差可控算法及应用
期刊论文 71 会议论文 15
同项目期刊论文
蒙特卡罗粒子输运软件JMCT抽样工具库设计
Block alternating splitting implicit iteration methods for saddle-point problems from time-harmonic
Symbolic-Numerical Algorithms Preface
On the solvability condition and numerical algorithm for the parameterized generalized inverse eigen
Structural Analysis Methods for Differential AlgebraicEquations via Fixed-point Iteration
A heuristic verification of the degree of the approximate GCD of two univariate polynomials
Computing isolated singular solutions of polynomial systems: case of breath one
Eigenvalue estimates for saddle point matrices of Hermitian and indefinite leading blocks
基于JASMIN三维势场快速多极子算法的并行实现
组合几何蒙特卡罗粒子输运支撑软件框架JCOGIN介绍
Intersection theory in differential algebraic geometry: Generic intersections and the differential C
Time - optimal interpolation for five - axis CNC machining along parametric tool path based on linea
Multiplicity-preserving triangular set decomposition of two polynomials
A Certificate for Semidefinite Relaxations in Computing Positive-Dimensional Real Radical Ideals
Low-dimensional chaos and fractal properties of long-term sunspot activity
Converses of a Discrete Wirtinger Type Inequality
微分代数系统中分块快速指标约简的启发式算法
A cell functional minimization scheme for domain decomposition method on non-orthogonal and non-matc
On the Existence of Telescopers for Mixed Hypergeometric Terms
Verified error bounds for isolated singular solutions of polynomial systems
Optimization of extrapolated Cayley transform with non-Hermitian positive definite matrix
Interpolation-based second-order monotone finite volume schemes for anisotropic diffusion equations
On order-reducible sinc discretizations and block-diagonal preconditioning methods for linear third-
Continuous collision detection for composite quadric models
n-单形的m阶等分点集与零多项式的判定
Verified error bounds for singular solutions of nonlinear systems
A Lions Domain Decomposition Algorithm for Radiation Diffusion Equations on Non-matching Grids
组合几何 Monte Carlo粒子输运支撑软件框架JCOGIN 的研发
Using Smith normal forms and μ-bases to compute all the singularities of rational planar curves
Interpolation of parametric CNC machining path under confined jounce
A complete algorithm to find exact minimal polynomial by approximations
Semidefinite representations of noncompact convex sets
Using a bihomogeneous resultant to find the singularities of rational space curves
Topological classification of non-degenerate intersections of two ring tori
Continuous detection of the variations of the intersection curve of two moving quadrics in 3-dimensi
Efficient index reduction algorithm for large scale systems of differential algebraic equations
Exact bivariate polynomial factorization over Q by approximation of roots
MCNP程序几何描述能力扩展及应用测试
大内存精细反应堆模型的蒙特卡罗区域分解并行计算
欠定非线性系统极小二范数解的可信误差界
蒙特卡罗临界计算全局计数效率新算法研究
改进的保群算法及其在混沌系统中的应用
JMCT程序在线多普勒展宽研究
反应堆蒙特卡罗临界模拟中均匀裂变源算法的改进
基于HElib的并行多比特明文同态比较模型
组合结式理论的初步应用