What is the state-of-the-art for solving polynomials systems over fields that are not algebraically closed? I am not working in the field of algorithmic algebraic geometry - yet, for my current work, I need some results from it. 
More specifically, what is the state-of-the-art when it comes to solving (whatever "solving" means in this case) system of polynomials of fields that are not algebraically closed, whose ideal has dimension $>0$?
Could you recommend a survey paper that summarizes what has been achieved so far?
For the case of $0$-dimensional ideals, there seems to exist many heavily cited papers, like "Solving Zero-dimensional Algebraic Systems" by D. Lazard, which seem mostly to be concerned with finding ways of to display the system of polynomials in a nice way (e.g. triangularly). Are these articles already superseded, or does it make sense to read them?
Edit: In particular, I'm interested in the field $\mathbb{R}$, since most of my example will come from here (but $\mathbb{Q}$ might be also useful; and perhaps even the ring $\mathbb{Z}$; I don't yet know where the results I will get for $\mathbb{R}$ will take me).
Also worth making more precise: In the case of positive dimension of the ideal, I'm interested in methods that tell me, if I project to whole, infinite solution space down to a single variable and I'm interested in, in what set this variable lies. More formally, if $V(f_1,\ldots,f_s)\subseteq F^n$  is my solution variety, with $f_i \in F[x_1,\ldots,x_n]$, and I'm interested in some specific variable, say $n_0$, what methods are there that describe $\mathop{\rm proj}_{n_0}(V(f_1,\ldots,f_s))$?
 A: For the real field:
MR2830310
Sottile, Frank
Real solutions to equations from geometry.
University Lecture Series, 57. American Mathematical Society, Providence, RI, 2011.
MR2275625 Mikhalkin, Grigory Tropical geometry and its applications. International Congress of Mathematicians. Vol. II, 827–852, Eur. Math. Soc., Zürich, 2006.
MR1108621 
Khovanskiĭ, A. G.
Fewnomials.
American Mathematical Society, Providence, RI, 1991.
MR1659509 Bochnak, Jacek; Coste, Michel; Roy, Marie-Françoise Real algebraic geometry. Springer-Verlag, Berlin, 1998.
For other fields:
MR2247966 
Vakil, Ravi
Schubert induction. 
Ann. of Math. (2) 164 (2006), no. 2, 489–512.
Also:
MR1925796 
Sturmfels, Bernd
Solving systems of polynomial equations. 
CBMS Regional Conference Series in Mathematics, 97. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2002.
where the real field is also discussed.
A: For the reals, I particularly like the book by Sturmfels mentioned by Alexandre Eremenko. For the rational numbers, you can hardly do better than Bjorn Poonen's book Rational Points on Varieties, which is available for browsing via his homepage. 
For dimension $1$ specifically, Poonen also has a set of lecture notes on rational points on curves, although I always have trouble finding it. Moreover he has several expository articles (listed as such on his page) dealing with rational points on curves.
Restricted to the case of the field of rational numbers and dimension $1$ alone, this is a huge question. Restricting only to the field of rational numbers makes it even huger. Dropping any restrictions on the field entirely makes it well-nigh impossible to answer in full geberality...
