Cylindrical Algebraic Decomposition - an Introduction

In this report we give an introduction to a constructive way of treating systems of polynomial equations and inequalities. We present a method called cylindrical algebraic decomposition (CAD) disco ...