• 不 限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
  2. 您的位置
  3. 首页
  4. 会议论文
  5. Quantier Elimination and Cylindrical Algebraic Decomposition based on Regular Chains

Quantier Elimination and Cylindrical Algebraic Decomposition based on Regular Chains

来源 :第六届全国计算机数学学术会议 | 被引量 : 0次 | 上传用户：kaofzp
【摘 要】
：
In this paper,we review the recent work on the study of uanti_er elimination (QE) and cylindrical algebraic decomposition (CAD) based on the theory of triangula
【作 者】
：
Changbo Chen 
【机 构】
：
ChongqingKeyLaboratoryofAutomatedReasoningandCognitionCenter,ChongqingInstituteofGreenandIntelligent
【出 处】
：
第六届全国计算机数学学术会议
【发表日期】
：
2014年10期
下载到本地 , 更方便阅读
下载此文 赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this paper,we review the recent work on the study of uanti_er elimination (QE) and cylindrical algebraic decomposition (CAD) based on the theory of triangular decompositions and regular chains.The implementation of them in the Regular Chains library is explained through simple examples as well as a non-trivial application.
其他文献
An Improved Laplace Decomposition Method For Solving Nonlinear Differential System
In this paper,a flaw of the Laplace decomposition method is investigated.Based on it a modified Laplace decomposition method is presented,the new algorithm can
会议
基于STL文件的3D打印分层算法研究及实现
本文提出了一种能有效保留模型特征的改进的自适应分层算法.基于模型是否可打印,本文又提出了能有效检测STL文件和CLI文件各种错误的方法.基于Qt和OpenGL,用C++开发了一款分
会议
Computing the Rational Univariate Representations for Zero-dimensional Systems Involving Interval Re
　　The purpose of this paper is to investigate the rational univariate representations of zero-dimensional systems involving the interval representation.Let F
会议
The generalized Serre Problem over K-Hermite Rings
A commutative ring R is called K-Hermite if,for any rectangular matrix B∈Mm×n(R)(m≤n),there exists Q∈GLn(R) such that BQ is lower trian-gular.This paper inv
会议
非线性系统极小二范数解的可信误差界
　　本文定义欠定非线性系统的极小二范数解为解向量二范数的极小值点，超定非线性系统的极小二范数解为残差向量二范数的极小值点。本文将方形系统单根的可信验证方法和对称正
会议
欠定系统超定系统极小二范数解可信验证
SPECULAR SURFACE MEASUREMENT USING B-SPLINE CURVED SURFACE FOR IMAGING SIMULATION
Our work focuses on the smooth and continuous convex specular surfaces measurement using a camera and a LCD display.We firstly analyze the geometric characteris
会议
On the Equivalence of Multivariate Polynomial Matrices
The equivalence of system is an important concept in multidimensional (nD) system,which is closely related to equivalence of multivariate polynomial matrices.Th
会议
与AcMNPVODV-E18相互作用的Sf9细胞蛋白的筛选和鉴定
杆状病毒是一类有包膜包被的双链DNA病毒,特异性感染节肢动物,是目前已知的广泛应用且对人畜无害的病毒。杆状病毒主要应用于农林害虫防治,作为真核基因表达系统用于外源基因
学位
AcMNPVODV-E18蛋白质-蛋白质相互作用酵母双杂交蛋白质亚细胞定位
ON THE LINEAR INDEPENDENCE AND PARTITION OF UNITY OF ARBITRARY DEGREE ANALYSIS-SUITABLE T-SPLINES
　　Analysis-suitable T-splines are a topological restricted subset of T-splines,which are opti-mized to meet the needs for design and analysis.The paper indepe
会议
T-splinesanalysis-suitable T-splineslinear independencepartition of unityiso
不等式机器证明的一些进展
介绍我们最近在代数不等式机器证明方面的一些进展.这些进展主要来自于对柱形代数分解算法(cylindrical algebraic decomposition)的改进.
会议