Varieties over finite fields 12 Rational points 8 Effective elimination theory 4 Effective first Bertini theorem 4 Estimation 4 First Bertini theorem 4 Geometric solutions 4 Normal complete intersection 4 Probabilistic algorithms 4 Problem solving 4 Second Bertini theorem 4 Straight-line programs 4 Theorem proving 4 q-rational points 4 ALGORITMOS PROBABILISTICOS 3 BERTINI THEOREMS 3 GEOMETRIC SOLUTIONS 3 PROBABILISTIC ALGORITHMS 3 PUNTOS RACIONALES 3 RATIONAL POINTS 3 SOLUCION GEOMETRICA 3 STRAIGHT-LINE PROGRAMS 3 TEOREMAS DE BERTINI 3 TEORIA DE ELIMINACION EFECTIVO 3 VARIEDADES SOBRE CUERPOS FINITOS 3 VARIETIES OVER FINITE FIELDS 3 Bertini's theorem 2 Bezout's inequality 2 Complete intersection polynomial ideals 2 Effective Nullstellensatz 2