We develop efficient methods for deterministic computations with semi-algebraic sets and apply them to the problem of counting rational points on curves and abelian varieties over finite fields.