[richrichie]

You can prove many fundamental results of Linear Algebra with the definition that does not directly use determinants. In fact, one would define trace and determinant as sum and product of eigenvalues. Definition of characteristic polynomial would then follow.

If "computation" is what you are after then Av = λv is about solving a system of equations and you can try elimination, etc.