首页> 外文OA文献 >Quantifier elimination by cylindrical algebraic decomposition based on regular chains

【2h】

Quantifier elimination by cylindrical algebraic decomposition based on regular chains

机译：基于常规链的圆柱代数分解来消除量化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Changbo Chen; Marc Moreno Maza;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

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. Regular algebras related to regular graded skew Clifford algebras of low global dimension. [D] . Nafari, Manizheh. 2011

机译：与低整体维数的正则渐变斜Clifford代数有关的正则代数。
6. Accuracy of Voxel-Based and Algebraic Formula-Based Methods in Quantifying Cerebral Aneurysm Volume by 3D-Rotational Digital Subtraction Angiography [O] . N.F. Fanning, H.M. Odwyer, J.A.B. Bowden, 2005

机译：基于体素和基于代数公式的方法通过3D旋转数字减影血管造影术定量脑动脉瘤体积的准确性
7. A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications) [O] . YANAMI HITOSHI, ANAI. HIROKAZU 2006

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

Quantifier elimination by cylindrical algebraic decomposition based on regular chains

著录项

引文网络

相似文献

相关主题

期刊订阅