Jul 29, 2024 | Grey Cat The Flags 2024 Finals, Crypto writeups
|
Jul 2, 2024 | Microcorruption solutions: Hollywood
|
Apr 24, 2024 | Grey Cat The Flags 2024 Qualifiers writeups
|
Mar 16, 2024 | Crypto solutions for Hackbash 2024
|
Mar 1, 2024 | A summation identity, via Laurent expansion
|
Dec 30, 2023 | An interesting result on the entries of a matrix inverse
|
Mar 10, 2023 | Expressing $\cos(2\pi/n)$ in radicals
|
Mar 10, 2023 | Solvability by radicals and principal roots
|
Feb 7, 2023 | The extension $\C(t^n,u^n)/\C(t,u)$, where $t^2+u^2=1$
|
Feb 5, 2023 | A result of Galois on prime degree polynomials
|
Feb 5, 2023 | Casus irreducibilis for cubic polynomials
|
Feb 4, 2023 | An alternative discriminant
|
Jan 25, 2023 | Normalised root towers for solvable extensions of $\Q$
|
Jan 25, 2023 | Nilpotent groups and central series
|
Jan 25, 2023 | The Galois group of $x^p-a$
|
Jan 25, 2023 | Separability and polynomials over char $p$
|
Jan 6, 2023 | Real Jordan form and complexification
|
Jan 4, 2023 | Studying linear maps through $F[\l]$-modules
|
Dec 30, 2022 | Generating finite rings
|
Dec 25, 2022 | Characterising submodules of finitely generated torsion modules over a PID
|
Dec 24, 2022 | Characterising quotients of finitely generated torsion modules over a PID
|
Dec 24, 2022 | Visualising Smith normal form on $\Z^2$
|
Oct 6, 2022 | Why quaternion multiplication resembles the cross product
|
Oct 3, 2022 | A very easy way to remember the Chinese Remainder Theorem
|
Jul 16, 2022 | Defining smooth manifolds
|
Jul 11, 2022 | Computing pullbacks of $k$-forms over $k$-chains
|
Jul 10, 2022 | A simpler way of solving linear recurrences
|
Jul 9, 2022 | A small gripe on Zorn's lemma
|
Mar 20, 2022 | Boolean rings
|
Feb 20, 2022 | The subtheory $PA^-$
|
Feb 19, 2022 | Some remarks on $\Th\N$
|
Jan 2, 2022 | Equivalence of filter and cover compactness
|
Dec 30, 2021 | $\ZZs{p^n}$ is cyclic
|
Nov 7, 2021 | Certain maximal subgroups of $S_n$
|
Jun 22, 2021 | Deriving $\Aut(Q_8)$
|