Proving the Chinese Remainder Theorem by the Cover Set Induction.

Hantao Zhang, Xin Hua

Browse the full CADE paper archive.