Session Pell
View
theory dependencies
View
document
View
outline
Theories
Efficient_Discrete_Sqrt
Pell
Pell_Algorithm
Pell_Algorithm_Test