Title: The decision method for real algebra: is it practical?
Subjects: Algebra, Gödel's theorem, Symbolic and mathematical Logic