首页> 外文OA文献 >A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)

【2h】

A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)

机译：SyNRAC中基于圆柱代数分解的量词消除程序（计算机代数：算法，实现和应用设计）

页面导航

著录项
相似文献
相关主题

著录项

作者
YANAMI HITOSHI; ANAI. HIROKAZU;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyN RAC [J] . YANAMI HITOSHI, ANAI HlROKAZU, 屋並仁史, 数理解析研究所讲究录 . 2006,第1514期

机译：SyN RAC中基于圆柱代数分解的量词消除程序
2. An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination [J] . Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Theoretical computer science . 2013,第Null期

机译：有效消除符号数字圆柱代数分解的方法
3. QUANTIFIER ELIMINATION IN APPLIED MECHANICS PROBLEMS WITH CYLINDRICAL ALGEBRAIC DECOMPOSITION [Review] [J] . Ioakimidis NI. International Journal of Solids and Structures . 1997,第30期

机译：圆柱代数分解在应用力学问题中的量化消除[综述]
4. Development of SyNRAC: Real Quantifier Elimination Based on Cylindrical Algebraic Decomposition and Visialization [C] . Hitoshi Yanami, Hirokazu Anai International Conference on Computational Science(ICCS 2006) pt.2; 20060528-31; Reading(GB) . 2006

机译：SyNTAX的开发：基于圆柱代数分解和可视化的真实量词消除
5. Algorithmic computation of local and de Rham cohomology in characteristic zero: An application of D-module theory to algebraic geometry and commutative algebra. [D] . Walther, Hans Ulrich. 1999

机译：特征零中的局部和de Rham同调的算法计算：D-模理论在代数几何和交换代数中的应用。
6. The applications of a higher-dimensional Lie algebra and its decomposed subalgebras [O] . Zhang Yu, Yufeng Zhang -1

机译：高维李代数及其分解子代数的应用
7. Development of SyNRAC : A Cylindrical Algebraic Decomposition Procedure (Computer Algebra : Design of Algorithms, Implementations and Applications) [O] . Yanami Hitoshi, Anai Hirokazu 2005

机译：SyNRAC的开发：圆柱代数分解过程（计算机代数：算法设计，实现和应用）

A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)

著录项

相似文献

相关主题

期刊订阅