Prefer a chat interface with context about you and your work?
Asymptotics of second-order integral matrices lying in a given hyperbolic region and belonging to a given residue class