In 1988, Weispfenning published a seminal paper introducing a substitution technique for
quantifier elimination in the linear theories of ordered and valued fields. The original focus …

Quantifier elimination methods for real closed fields are an intensively studied subject from
both theoretical and practical points of view. This thesis studies quantifier elimination based …

Effective quantifier elimination procedures for first-order theories provide a powerful tool for
generically solving a wide range of problems based on logical specifications. In contrast to …

We propose an approach to study small limit cycle bifurcations on a center manifold in
analytic or smooth systems depending on parameters. We then apply it to the investigation …

We describe a new incomplete but terminating heuristic method for real root finding for large
multivariate polynomials. We take an abstract view of the polynomial as the set of exponent …

In this paper the qualitative study of a reversible chemical reaction model represented by a
three-dimensional system of ordinary differential equations with nine parameters is …

This paper provides a survey on symbolic computational approaches for the analysis of
qualitative behaviors of systems of ordinary differential equations, focusing on symbolic and …

We consider existential problems over the reals. Extended quantifier elimination generalizes
the concept of regular quantifier elimination by providing in addition answers, which are …

This survey of mathematical approaches to quasi-steady state (QSS) phenomena provides
an analytical foundation for an algorithmic-algebraic treatment of the associated (parameter …

Using algorithms and packages for computer algebra, we investigate a three-dimensional
autonomous system of ordinary differential equations (ODEs) used in [1] to simulate the …