Grabowski, Adam Elementary number theory problems. VI. (English) Zbl 1539.68365 Formaliz. Math. 30, No. 3, 235-244 (2022). MSC: 68V20 11A41 11B25 × Cite Format Result Cite Review PDF Full Text: DOI
Grabowski, Adam Stone lattices. (English) Zbl 1339.06009 Formaliz. Math. 23, No. 4, 387-396 (2015). MSC: 06D15 06B05 06D05 06E05 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Hilberdink, Titus The group of squarefree integers. (English) Zbl 1352.11003 Linear Algebra Appl. 457, 383-399 (2014). MSC: 11A05 11A25 20K99 × Cite Format Result Cite Review PDF Full Text: DOI