Determining the solvability of equations has been an extended and fundamental study in Mathematics. The local-global principle states two objects are equivalent globally if and only if they are equivalent locally at all places. By applying this principle, the Hasse - Minkowski theorem is able to identify the existence of rational solutions of an equation. This paper explores the applications of the Hasse-Minkowski theorem to homogeneous quadratic forms in two and three variables. After providing some of the necessary proofs and definitions, we have been able to introduce some complete computer programs implementing the Hasse-Minkowski theorems and Legendre theorem with some supporting functions like the Eratosthenes sieve.
Hasse-Minkowski, quadratic form, algorithm