[ Matemática discreta (teoría de números) ]

División euclídea

• [1|2 (implementación de la división euclídea en las herramientas de cálculo)|]

Números primos:

• Reconocimiento de números primos: [1|]
• Obtención de números primos: [1|]
• Infinitud del conjunto de los números primos: [1 (Euclides)| ]

Divisores de un número entero:

• [1|2 ($6$ es divisor de $n\,(n+1)\,(2n+1)$|]
• Número de números coprimos con un número entero dado (función indicatriz de Euler):[1|2| (función indicatriz de Euler)|]

Múltiplos de un número entero

• [1 (número de múltiplos de un cierto número en un conjunto)|]

Máximo común divisor

• [5 (máximo común divisor por restas sucesivas)|]

Congruencias de números enteros (aritmética modular):

• [1 (las congruencias como clases de equivalencia; suma y producto con congruencias; acerca de la llamada "prueba del nueve", que servía de comprobación en las operaciones aritméticas que se realizaban antaño sin calculadora)|2 (suma y multiplación con congruencias)]
• Nociones básicas sobre aritmética modular: [1|2|3|]
• Teorema de Euler-Fermat: [1|2]
• Pequeño teorema de Fermat: [1|2]
• Cosas curiosas: [1 (acerca de la pontencia $a^5$: coincidencia de los últimos dígitos de $a^5$ y de $a$)|]

Sucesiones

• [1 (s. de Fibonacci) |]

Ecuaciones diofánticas (e. en números enteros):

• Identidad de Bézout: [1|]
• Ecuaciones diofánticas lineales: [1|2|3|4 (ecuaciones con congruencias)|]

Bases de numeración:

• [1|]

La conjetura de Collatz:

• [1|2|]

Un "zoo" de números enteros:

• Ternas pitagóricas: [7 (con GNU Octave)|]
• Números idóneos (o números convenientes): [1|]
• Números de Fibonacci: [1|]

Acerca de algunas conjeturas (más o menos conocidas) sobre teoría de números:

• [1 (sobre palíndromos numéricos)|]