We want to achieve efficiency for the exact computation of the dot product of two vectors over word size finite fields. We therefore compare the practical behaviors of a wide range of implementation techniques using different representations. The techniques used include floating point representations, discrete logarithms, tabulations, Montgomery reduction, delayed modulus. Our implementations have many symbolic linear algebra applications: matrix multiplication, symbolic triangularization, system solving, exact determinant computation, matrix normal form are such examples.