Statements (55)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:theorem
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Fermat's_little_theorem
|
| gptkbp:applies_to |
modular arithmetic
|
| gptkbp:based_on |
pairwise coprime moduli
|
| gptkbp:developed_by |
gptkb:Sunzi
|
| gptkbp:has_programs |
gptkb:computer_science
gptkb:currency signal processing coding theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Chinese Remainder Theorem
|
| gptkbp:is_essential_for |
gptkb:Mathematician
algorithm design combinatorics |
| gptkbp:is_related_to |
gptkb:Beijing_Mathematical_Society
gptkb:Diophantine_equations gptkb:Euler's_theorem Lagrange interpolation Fermat's Little Theorem Chinese remainder problem Chinese remainder theorem algorithm modular equations modular inverses |
| gptkbp:is_represented_in |
a system of linear congruences
|
| gptkbp:is_used_in |
gptkb:XMPP_Extension_Protocol
gptkb:quantum_computing RSA algorithm computation theory digital signatures distributed computing information theory parallel processing finite fields graph theory mathematical logic complexity theory formal languages hash functions data integrity checks automated theorem proving error correction codes error detection automata theory algebraic structures finite state machines secure multiparty computation combinatorial designs algorithmic number theory network coding |
| gptkbp:is_used_to |
find unique solutions modulo the product of moduli
|
| gptkbp:named_after |
Chinese mathematicians
|
| gptkbp:provides |
solution to simultaneous congruences
|
| gptkbp:training |
computer science courses
mathematics courses |
| gptkbp:used_in |
number theory
|