Talteori-problem

Säg att vi har en kvadratisk form i 2 heltalsvariabler

Q(x,y) = Ax^2 + Bxy + Cx^2

Vi vill finna alla (om några) (x,y) som löser Q(x,y)=m, för ett givet heltal m.
För att lösa denna kan man använda sig av 2 resultat som vi kallar kompositions- och genus-satserna. Genussatsen ställer upp krav på vilka primtal som kan representeras på formen Q(x,y) (exempelvis har vi för A=C=1, B=0, att Q(x,y)=p omm p kongruent 1 mod 4). Kompositionstermen ger en metod för att "sätta ihop" lösningarna för olika primtal, för att kunna bilda eventuella lösningar till godtyckligt m. Någon som vet något mer ingående, exempelvis hur man finner den abelska grupp mellan olika former som bildar kompositionsteoremen, boktips etc.? Jag kan inte hitta någon litteratur alls om detta problem.

http://mathworld.wolfram.com/Diophan...wers.html#eqn2