Proof of the Absolute Least Remainder Algorithm
135750
Prove that if a and b are integers, then there are unique integers q and r such that $a = bq + r$, $-|b|/2 < r \le |b|/2$
141529
Proving existence of a minimum
75625
Complete residue system proof
156850
Fix-Point Theorem Proof.
13147
Proof verification - Minimal polynomial of $\alpha$ has integer coef.s iff its an alg. integer
138178
Proving the number of iterations in the Euclidean algorithm
20630
Digital root of twin prime semiprimes
126632
Proving Inequalities with Absolute values
978
Solving $ax \equiv c \pmod b$ efficiently when $a,b$ are not coprime
55199
Number Theory in a Choice-less World
152506
The greatest common divisor is the smallest positive linear combination
145759
formal proof from calulus
56528
On the proof of existence and uniqueness of radix representation
28749
Proving that any common multiple of two numbers is a multiple of their least common multiple
141895
Proving that a sequence is monotone
129930
A problem on chinese remainder theorem (CSIR NET DEC 2015)
8645
A formula for bit strings with no $k$ consecutive $1$'s using generating functions