Results 1  10
of
42
Algorithms for Computing Triangular Decomposition of Polynomial Systems
, 2011
"... We discuss algorithmic advances which have extended the pioneer work of Wu on triangular decompositions. We start with an overview of the key ideas which have led to either better implementation techniques or a better understanding of the underlying theory. We then present new techniques that we reg ..."
Abstract

Cited by 25 (17 self)
 Add to MetaCart
We discuss algorithmic advances which have extended the pioneer work of Wu on triangular decompositions. We start with an overview of the key ideas which have led to either better implementation techniques or a better understanding of the underlying theory. We then present new techniques that we regard as essential to the recent success and for future research directions in the development of triangular decomposition methods.
Triangular Decomposition of SemiAlgebraic Systems
, 2010
"... Regular chains and triangular decompositions are fundamental and welldeveloped tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue: semialgebraic systems. We show that any such system can be dec ..."
Abstract

Cited by 22 (13 self)
 Add to MetaCart
(Show Context)
Regular chains and triangular decompositions are fundamental and welldeveloped tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue: semialgebraic systems. We show that any such system can be decomposed into finitely many regular semialgebraic systems. We propose two specifications of such a decomposition and present corresponding algorithms. Under some assumptions, one type of decomposition can be computed in singly exponential time w.r.t. the number of variables. We implement our algorithms and the experimental results illustrate their effectiveness.
Optimising Problem Formulation for Cylindrical Algebraic Decomposition
, 2013
"... ..."
(Show Context)
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
"... In this paper, we propose an incremental algorithm for computing cylindrical algebraic decompositions. The algorithm consists of two parts: computing a complex cylindrical tree and refining this complex tree into a cylindrical tree in real space. The incrementality comes from the first part of the a ..."
Abstract

Cited by 14 (4 self)
 Add to MetaCart
(Show Context)
In this paper, we propose an incremental algorithm for computing cylindrical algebraic decompositions. The algorithm consists of two parts: computing a complex cylindrical tree and refining this complex tree into a cylindrical tree in real space. The incrementality comes from the first part of the algorithm, where a complex cylindrical tree is constructed by refining a previous complex cylindrical tree with a polynomial constraint. We have implemented our algorithm in Maple. The experimentation shows that the proposed algorithm outperforms existing ones for many examples taken from the literature. 1
Truth table invariant cylindrical algebraic decomposition by regular chains
, 2014
"... A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meaning given formulae have constant truth value on each cell of the decomposition. Secondly, the computation uses regular ch ..."
Abstract

Cited by 11 (10 self)
 Add to MetaCart
(Show Context)
A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meaning given formulae have constant truth value on each cell of the decomposition. Secondly, the computation uses regular chains theory to first build a cylindrical decomposition of complex space (CCD) incrementally by polynomial. Significant modification of the regular chains technology was used to achieve the more sophisticated invariance criteria. Experimental results on an implementation in the RegularChains Library for Maple verify that combining these advances gives an algorithm superior to its individual components and competitive with the state of the art.
An implementation of CAD in Maple utilising problem formulation, equational constraints and truthtable invariance
, 2013
"... ..."
(Show Context)
An implementation of CAD in Maple utilising McCallum projection
, 2013
"... Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semialgebraic sets. Originally introduced by Collins in the 1970s for use in quantifier elimination it has since found numerous applications within algebraic geometry and beyond. Following from his original work ..."
Abstract

Cited by 10 (5 self)
 Add to MetaCart
Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semialgebraic sets. Originally introduced by Collins in the 1970s for use in quantifier elimination it has since found numerous applications within algebraic geometry and beyond. Following from his original work in 1988, McCallum presented an improved algorithm, CADW, which offered a huge increase in the practical utility of CAD. In 2009 a team based at the University of Western Ontario presented a new and quite separate algorithm for CAD, which was implemented and included in the computer algebra system Maple. As part of a wider project at Bath investigating CAD and its applications, Collins and McCallum’s CAD algorithms have been implemented in Maple. This report details these implementations and compares them to Qepcad and the Ontario algorithm. The implementations were originally undertaken to facilitate research into the connections between the algorithms. However, the ability of the code to guarantee orderinvariant output has led to its use in new research on CADs which are minimal for certain problems. In addition, the implementation described here is of interest as the only full implementation of CADW, (since Qepcad does not currently make use of McCallum’s delineating polynomials), and hence can solve problems not admissible to other CAD implementations.
A “piano movers” problem reformulated
 Proc. SYNASC ’13
, 2014
"... AbstractIt has long been known that cylindrical algebraic decompositions (CADs) can in theory be used for robot motion planning. However, in practice even the simplest examples can be too complicated to tackle. We consider in detail a "Piano Mover's Problem" which considers moving a ..."
Abstract

Cited by 9 (9 self)
 Add to MetaCart
(Show Context)
AbstractIt has long been known that cylindrical algebraic decompositions (CADs) can in theory be used for robot motion planning. However, in practice even the simplest examples can be too complicated to tackle. We consider in detail a "Piano Mover's Problem" which considers moving an infinitesimally thin piano (or ladder) through a rightangled corridor. Producing a CAD for the original formulation of this problem is still infeasible after 25 years of improvements in both CAD theory and computer hardware. We review some alternative formulations in the literature which use differing levels of geometric analysis before input to a CAD algorithm. Simpler formulations allow CAD to easily address the question of the existence of a path. We provide a new formulation for which both a CAD can be constructed and from which an actual path could be determined if one exists, and analyse the CADs produced using this approach for variations of the problem. This emphasises the importance of the precise formulation of such problems for CAD. We analyse the formulations and their CADs considering a variety of heuristics and general criteria, leading to conclusions about tackling other problems of this form.
Speeding up Cylindrical Algebraic Decomposition by Means of GrIllustration: Linear Algebra
"... “If all you have is a hammer, all your problems look like nails.” “I have this hammer (Cylindrical Algebraic Decomposition): which window should I break?” ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
“If all you have is a hammer, all your problems look like nails.” “I have this hammer (Cylindrical Algebraic Decomposition): which window should I break?”