Stem remaind$ (all stems)

4 papers:

KR-2012-AdarichevaSST #complexity

Horn Belief Contraction: Remainders, Envelopes and Complexity (KVA, RHS, BS, GT).

DATE-2006-MartinezLC #order #reduction #using

Nonlinear model order reduction using remainder functions (JAM, SPL, DMC), pp. 281–282.

STOC-1999-GoldreichRS #fault

Chinese Remaindering with Errors (OG, DR, MS), pp. 225–234.

CADE-1992-ZhangH #induction #proving #set #theorem

Proving the Chinese Remainder Theorem by the Cover Set Induction (HZ, XH), pp. 431–445.