Displaying similar documents to “A machine for combining sets of linear congruences”