Wed, 19 Apr 2023 18:21:30 +0000 | haftmann | clarified terminology | file | diff | annotate |
Thu, 06 Oct 2022 14:16:39 +0000 | haftmann | euclidean division on gaussian numbers | file | diff | annotate |
Thu, 06 Oct 2022 13:41:59 +0000 | haftmann | tuned proof | file | diff | annotate |
Wed, 14 Sep 2022 09:15:00 +0000 | haftmann | More on division concerning gauss numbers. | file | diff | annotate |
Sun, 21 Aug 2022 14:01:59 +0000 | haftmann | Gauss numbers | file | diff | annotate |