Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition
CoRR, 2014 We present a divide-and-conquer version of the Cylindrical Algebraic Decomposition (CAD) algorithm. The algorithm represents the input as a Boolean combination of subformulas, computes cylindrical algebraic decompositions of solution sets of the subformulas, and combines the results. We propose a graph-based heuristic to find a suitable partitioning of
openaire +2 more sources
Two-view "cylindrical decomposition" of binary images
, 2001 This paper describes the discrete cylindrical algebraic decomposition (DCAD) construction along two orthogonal views of binary images. The combination of two information is used to avoid ambiguities for image recognition purposes.
VALENTI, Cesare Fabio +5 more
core +1 more source
Computing Smooth Feedback Plans Over Cylindrical Algebraic Decompositions
, 2008 — In this paper, we construct smooth feedback plans over cylindrical algebraic decompositions. Given a cylindrical algebraic decomposition on R n, a goal state xg, and a connectivity graph of cells reachable from the goal cell, we construct a vector ...
core +1 more source
Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition
, 2008 MI: Global COE Program Education-and-Research Hub for Mathematics-for-IndustryグローバルCOEプログラム「マス･フォア･インダストリ教育研究拠点」We study the problem of optimizing over parameters a particular real root of a polynomial with parametric coefficients.
横山, 和弘 +6 more
core
<p>This upload contains the dataset and code used throught Tereso del Río Almajano's thesis titled "Heuristics and Machine Learning to Improve Symbolic Computation Algorithms: Speeding Up Cylindrical Algebraic Decomposition" to ...
del Río, Tereso
core +4 more sources
An Optimized Schwarz Method for the Optical Response Model Discretized by HDG Method. [PDF]
Entropy (Basel), 2023 Chen JF, Gu XM, Li L, Zhou P.
europepmc +1 more source
MCR toolkit: A GPU-based toolkit for multi-channel reconstruction of preclinical and clinical x-ray CT data. [PDF]
Med Phys, 2023 Clark DP, Badea CT.
europepmc +1 more source
Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition
We study the problem of optimizing over parameters a particular real root of a polynomial with parametric coefficients. We propose an efficient symbolic method for solving the optimization problem based on a special cylindrical algebraic decomposition ...
横山, 和弘 +9 more
core
On some Exotic Cylindrical Algebraic Decompositions and Cells
CoRRCylindrical Algebraic Decompositions (CADs) endowed with additional topological properties have found applications beyond their original logical setting, including algorithmic optimizations in CAD construction, robot motion planning, and the algorithmic study of the topology of semi-algebraic sets.
openaire +2 more sources
Electrified externally heated rotary calciner for calcination of cement raw meal. [PDF]
Heliyon, 2023 Jacob RM, Pinheiro JP, Tokheim LA.
europepmc +1 more source