1. T. Ibukiyama. On maximal orders of division quaternion algebras over the rational number field with certain optimal embeddings. Nagoya Math. J. 88, 181–195 (1982).

2. J. Voight. Quaternion algebras. Vol. 288 of Graduate Texts in Mathematics (Springer, Cham, 2021); p. xxiii+885.

3. I. Chevyrev and S. D. Galbraith. Constructing supersingular elliptic curves with a given endomorphism ring. LMS J. Comput. Math. 17, 71–91 (2014).

4. E. Z. Goren and J. R. Love. On elements of prescribed norm in maximal orders of a quaternion algebra. Canad. J. Math. 77, 1938–1965 (2025).

5. A. V. Sutherland. Constructing elliptic curves over finite fields with prescribed torsion. Math. Comp. 81, 1131–1147 (2012).

6. H. Cohen. Advanced topics in computational number theory. Vol. 193 of Graduate Texts in Mathematics (Springer-Verlag, New York, 2000); p. xvi+578.

7. J. S. Milne. Class Field Theory (v4.03) (2020); p. 287+viii.

8. H. Cohen. A course in computational algebraic number theory. Vol. 138 of Graduate Texts in Mathematics (Springer-Verlag, Berlin, 1993); p. xii+534.

9. M. Pohst and H. Zassenhaus. Algorithmic algebraic number theory. Vol. 30 of Encyclopedia of Mathematics and its Applications (Cambridge University Press, Cambridge, 1997); p. xiv+499.

10. D. A. Marcus. Number fields. Universitext (Springer, Cham, 2018); p. xviii+203.

11. J. H. Conway and N. J. Sloane. Sphere packings, lattices and groups. Third Edition, Vol. 290 of Grundlehren der mathematischen Wissenschaften (Springer-Verlag, New York, 1999); p. lxxiv+703.

12. D. Allcock, I. Gal and A. Mark. The Conway-Sloane calculus for 2-adic lattices. Enseign. Math. 66, 5–31 (2020).

13. V. V. Nikulin. Integer symmetric bilinear forms and some of their geometric applications. Izv. Akad. Nauk SSSR Ser. Mat. 43, 111–177, 238 (1979).

14. W. Plesken and B. Souvignier. Computing isometries of lattices. J. Symbolic Comput. 24, 327–334 (1997). Computational algebra and number theory (London, 1993).

15. L. E. Dickson. Studies in the theory of numbers (University of Chicago Press, Chicago, 1930); p. x+230.

16. I. Shimada. An algorithm to compute automorphism groups of $K3$ surfaces and an application to singular $K3$ surfaces. Int. Math. Res. Not. IMRN 2015, 11961–12014 (2015).

17. M. Dutour Sikirić, A. Haensch, J. Voight and W. P. van Woerden. A canonical form for positive definite matrices. In: ANTS XIV—Proceedings of the Fourteenth Algorithmic Number Theory Symposium, Vol. 4 of Open Book Ser. (Math. Sci. Publ., Berkeley, CA, 2020); pp. 179–195.

18. T. Hanke. The Isomorphism Problem for Cyclic Algebras and an Application. In: Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC '07 (Association for Computing Machinery, 2007); pp. 181–186.

19. A. V. Sutherland. Identifying supersingular elliptic curves. LMS J. Comput. Math. 15, 317–325 (2012).