George Collins’ discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fi
In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich bod
Formal Language Theory: Perspectives and Open Problems focuses on the trends and major open problems on the formal language theory. The selection first ponders
This book constitutes the refereed proceedings of the third Maple Conference, MC 2019, held in Waterloo, Ontario, Canada, in October 2019. The 21 revised full p
