North Carolina State University.;
机译:Macaulay2上多项式系统的近似解
机译:证明超定和奇异多项式系统的解
机译:算法921:alphaCertified:验证多项式系统的解
机译:证明超多项式系统的简单零
机译:零维多项式方程组的一种求解方法和一种无姿态框架,用于从运动问题中稳健地求解结构。
机译:非线性分数阶Brusselator系统的Bernstein多项式数值解
机译:通过Q过度和奇异多项式系统认证解决方案
机译:加利福尼亚州Bolsa Bay,拟议的海洋入口系统研究。报告3.潮汐循环和运输计算机模拟和水质评估。第1节加州沿海委员会1986年认证的土地使用计划和次要替代方案。