Skip to content

Elementary Number Theory

← Back to Domain-Specific Abstractions by Domain

4 domain-specific abstractions whose origin domain is Elementary Number Theory.

  • Composite number — A positive integer greater than one that can be expressed as a product of two smaller positive integers.
  • Farey sequence — The increasing sequence of reduced rational numbers between zero and one whose denominators do not exceed a chosen order.
  • Gauss's lemma (number theory) — A criterion computing the Legendre symbol by counting how many least positive residues of a,2a,…,((p−1)/2)a modulo an odd prime exceed p/2.
  • Square number — An integer equal to the product of some integer with itself.