En teoría de números, el método de factorización de Dixon (conocido también como método de los cuadrados aleatorios de Dixon o algoritmo de Dixon) es un algoritmo general de factorización de enteros; es el método prototípico de factor base, y el único método de factor base para el cual los límites de ejecución no se basan en conjeturas sobre las propiedades de suavidad de los valores de un polinomio conocido. El algoritmo fue diseñado por John D.