En teoría de números, un número pseudoprimo n se denomina pseudoprimo elíptico[1] para (E, P), donde E es una curva elíptica definida sobre el cuerpo de los números racionales con un orden asociado a la multiplicación compleja sobre
− d
{\displaystyle \mathbb {Q} {\big (}{\sqrt {-d}}{\big )}}
, teniendo la ecuación: con a y b números enteros; siendo P un punto en E; y n un número natural tal que el símbolo de Jacobi (−d | n ) = −1, si (n + 1)P ≡ 0 (mod n).
El número de pseudoprimos elípticos menores que X está acotado por arriba para un X grande, por: