WolframAlpha computational knowledge AI
a^2 = 3 (mod 109)