This handbook provides an up-to-date compendium of fundamental computer science
topics, techniques, and applications. Along with updating and revising many of the existing …

Elimination of unknowns in a system of differential equations is often required when
analyzing (possibly nonlinear) dynamical systems models, where only a subset of variables …

Delay-independent stability (DIS) of a general class of linear time-invariant (LTI) multiple
time-delay system (MTDS) is investigated in the entire delay-parameter space. Stability of …

Abstract Cylindrical Algebraic Decomposition (CAD) has long been one of the most
important algorithms within Symbolic Computation, as a tool to perform quantifier elimination …

This paper discusses and evaluates ideas of data balancing and data augmentation in the
context of mathematical objects: an important topic for both the symbolic computation and …

Cylindrical Algebraic Decomposition (CAD) was the first practical means for doing Real
Quantifier Elimination (QE), and is still a major method. Nevertheless, its complexity is …

In 1994 Lazard proposed an improved method for cylindrical algebraic decomposition
(CAD). The method comprised a simplified projection operation together with a generalized …

Cylindrical algebraic decomposition (CAD) is an important tool for working with polynomial
systems, particularly quantifier elimination. However, it has complexity doubly exponential in …

This paper builds and extends on the authors previous work related to the algorithmic tool,
Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quantifier …

Given a parametrization of a rational plane algebraic curve C, some explicit adjoint pencils
on C are described in terms of determinants. Moreover, some generators of the Rees …