Clustering in the Lazard method for Cylindrical Algebraic Decomposition

IF 0.4 Q4 MATHEMATICS, APPLIED

ACM Communications in Computer Algebra Pub Date : 2023-09-01 DOI:10.1145/3637529.3637533

Tereso del Río, AmirHosein Sadeghimanesh, Matthew England

引用次数: 0

Abstract

Cylindrical Algebraic Decomposition (CAD) is an algorithm originally proposed by Collins in [4]. Given a set of multivariate polynomials, CAD decomposes the multidimensional real space into connected subsets called cells, within which those polynomials are sign-invariant.

查看原文本刊更多论文

拉扎德圆柱代数分解法中的聚类方法

圆柱代数分解（CAD）是柯林斯最初在[4]中提出的一种算法。给定一组多元多项式，CAD 会将多维实空间分解成称为单元的连接子集，在单元内这些多项式是符号不变的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊