Efficiently finding congruencies
978
Solving $ax \equiv c \pmod b$ efficiently when $a,b$ are not coprime
86122
Learning roadmap for additive combinatorics
108035
solving diophantine equations using congruences
92763
Optimising $x_1x_2+x_2x_3+\cdots+x_nx_1$ given certain constraints
115435
Induction: prove using congruences
18245
How to check if a system of congruence is solvable?
42449
Is there any efficient algorithm for finding subgroups of a given finite group?
107781
Detecting perfect squares faster than by extracting square root
72391
linear dependence proof using subsets
118560
Ordered N-Tuples as Cartesian Products of Indexed Families
101719
Finding the n-th lexicographic permutation of a string
113953
Circular permutations with indistinguishable objects
89506
Union of disjoint sets : Equivalence relations
18980
Deleting isomorphic graphs efficiently
56803
Finding solutions to congruence equations
125811
Recognizing special cases of a defined function for permuted arguments
93748
Alternative to Subsets to generate k-combinations