Problem-solving strategies for prime numbers in graph number theory
Use this skill when working on prime-numbers problems in graph number theory.
Primality testing hierarchy
Factorization
sympy_compute.py factor "n"Prime distribution
sympy_compute.py limit "pi(x) * ln(x) / x"Fermat's Little Theorem
z3_solve.py prove "fermat_little"Wilson's Theorem
uv run python -m runtime.harness scripts/sympy_compute.py factor "n"
uv run python -m runtime.harness scripts/z3_solve.py prove "no_divisor_between_1_and_sqrt_n"
uv run python -m runtime.harness scripts/sympy_compute.py simplify "pi(x) ~ x/ln(x)"
uv run python -m runtime.harness scripts/z3_solve.py prove "a**(p-1) == 1 mod p"
From indexed textbooks:
See .claude/skills/math-mode/SKILL.md for full tool documentation.