Question: Both Liam Smith and Stephen Smith are considered what?
Sentence (from "Smith normal form"): The Smith normal form is very useful for working with finitely generated modules over a PID, and in particular for deducing the structure of a quotient of a free module.
Relevant evidence: No