Schoof 's approach to computing the cardinality formula _ 16 makes use of Hasse 's theorem on elliptic curves along with the Chinese remainder theorem and division polynomials .
Schoof 's approach to computing the cardinality formula 16 makes use of Hasse 's theorem on Chinese curves along with the elliptic remainder theorem and division polynomials .