Enhancements to Lazard’s Method for Cylindrical Algebraic Decomposition

2020 ◽  
pp. 129-149 ◽  
Author(s):  
Christopher W. Brown ◽  
Scott McCallum
Keyword(s):  
Cylindrical Algebraic Decomposition

scholarly journals Interval Arithmetic in Cylindrical Algebraic Decomposition

2002 ◽  
Vol 34 (2) ◽  
pp. 145-157 ◽  
Author(s):  
George E. Collins ◽  
Jeremy R. Johnson ◽  
Werner Krandick
Keyword(s):  
Interval Arithmetic ◽  
Cylindrical Algebraic Decomposition

scholarly journals Using Machine Learning to Improve Cylindrical Algebraic Decomposition

2019 ◽  
Vol 13 (4) ◽  
pp. 461-488 ◽  
Author(s):  
Zongyan Huang ◽  
Matthew England ◽  
David J. Wilson ◽  
James Bridge ◽  
James H. Davenport ◽  
...  
Keyword(s):  
Machine Learning ◽  
Cylindrical Algebraic Decomposition

A PARALLEL ALGORITHM FOR ANALYZING CONNECTED COMPONENTS IN BINARY IMAGES

1992 ◽  
Vol 06 (02n03) ◽  
pp. 315-333 ◽  
Author(s):  
FRANCO CHIAVETTA ◽  
VITO DI GESÙ ◽  
ROSALIA RENDA
Keyword(s):  
Parallel Algorithm ◽  
Parallel Implementation ◽  
Discrete Space ◽  
Space Complexity ◽  
Connected Components ◽  
Two Dimensional ◽  
Binary Images ◽  
Cylindrical Algebraic Decomposition ◽  
Time Space ◽  
Connectivity Degree

In this paper, a parallel algorithm for analyzing connected components in binary images is described. It is based on the extension of the Cylindrical Algebraic Decomposition (CAD) to a two-dimensional (2D) discrete space. This extension allows us to find the number of connected components, to determine their connectivity degree, and to solve the visibility problem. The parallel implementation of the algorithm is outlined and its time/space complexity is given.

Fully incremental cylindrical algebraic decomposition

2020 ◽  
Vol 100 ◽  
pp. 11-37 ◽  
Author(s):  
Gereon Kremer ◽  
Erika Ábrahám
Keyword(s):  
Cylindrical Algebraic Decomposition
Sign in / Sign up

Export Citation Format

Share Document