realqelim

Real number quantification elimination procedure explained as an adventure book