Freedom Math Dance
The two adjunctions of the preimage
The Krull dimension of the semiring of natural numbers is equal to 2
Autoformalization of mathematical theorems? No shit!
Yet another proof of the Weierstrass approximation theorem
Yet another proof of the inequality between the arithmetic and the geometric means
A generalization of the Eisenstein criterion
A simple proof of a theorem of Kronecker
On numbers and unicorns
The combinatorial Nullstellensatz
Combinatorics of partitions
Number theory and finite automata
Evaluating the operator norms of matrices
The topology on the ring of polynomials and the continuity of the evaluation map
Flatness and projectivity: when is the localization of a ring a projective module?
Combinatorics of the nilpotent cone
A combinatorial proof of the Newton identities
On soccer balls
Electrostatics and rationality of power series
Associated prime ideals
The Klein group, the centralizer of a permutation, and its relation with the alternating group
Multiplicative square roots
#Mathober2022
Yet another post on simplicity
The very simple proof that the alternating group on 5 letters (or more) is simple
Not simple proofs of simplicity
Growth of the Gaussian pivoting algorithm