corpus.blog
41554 blogs · [ { "id": "01a08779-ef78-7014-9e87-451ec5c98b57", "title": "On the theorem of Gelfand-Mazur", "url": "https://freedommathdance.blogspot.com/2026/04/on-theorem-of-gelfand-mazur.html", "published_at": "2026-04-13T20:14:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b33e378d5", "title": "Joyal's proof of Cayley's formula for the enumeration of trees", "url": "https://freedommathdance.blogspot.com/2026/02/joyals-proof-of-cayleys-formula-for.html", "published_at": "2026-02-18T14:28:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b348aec95", "title": "Associated prime ideals and regular elements in polynomial rings", "url": "https://freedommathdance.blogspot.com/2026/02/associated-prime-ideals-and-regular.html", "published_at": "2026-02-13T15:00:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b34b4667c", "title": "The determinant of transvections (an update)", "url": "https://freedommathdance.blogspot.com/2025/11/the-determinant-of-transvections-update.html", "published_at": "2025-11-30T14:44:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b35624c53", "title": "The determinant of transvections", "url": "https://freedommathdance.blogspot.com/2025/11/the-determinant-of-transvections.html", "published_at": "2025-11-06T22:22:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b358b5ed0", "title": "The two adjunctions of the preimage", "url": "https://freedommathdance.blogspot.com/2025/09/the-two-adjunctions-of-preimage.html", "published_at": "2025-09-06T14:40:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b35e4a068", "title": "The Krull dimension of the semiring of natural numbers is equal to 2", "url": "https://freedommathdance.blogspot.com/2025/07/the-krull-dimension-of-natural-numbers.html", "published_at": "2025-07-14T23:16:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3679b51c", "title": "Autoformalization of mathematical theorems? No shit!", "url": "https://freedommathdance.blogspot.com/2025/07/autoformalization-of-mathematical.html", "published_at": "2025-07-02T14:50:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b36ebc359", "title": "Yet another proof of the Weierstrass approximation theorem", "url": "https://freedommathdance.blogspot.com/2025/04/yet-another-proof-of-weierstrass.html", "published_at": "2025-04-25T10:48:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b37a194df", "title": "Yet another proof of the inequality between the arithmetic and the geometric means", "url": "https://freedommathdance.blogspot.com/2025/04/yet-another-proof-of-inequality-between.html", "published_at": "2025-04-24T22:42:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b38a0610d", "title": "A generalization of the Eisenstein criterion", "url": "https://freedommathdance.blogspot.com/2025/04/a-generalization-of-eisenstein-criterion.html", "published_at": "2025-04-06T22:22:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b390acc8b", "title": "A simple proof of a theorem of Kronecker", "url": "https://freedommathdance.blogspot.com/2025/03/a-simple-proof-of-theorem-of-kronecker.html", "published_at": "2025-03-29T11:01:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b395586d9", "title": "On numbers and unicorns", "url": "https://freedommathdance.blogspot.com/2025/01/on-numbers-and-unicorns.html", "published_at": "2025-01-11T18:56:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3991beb5", "title": "The combinatorial Nullstellensatz", "url": "https://freedommathdance.blogspot.com/2024/09/the-combinatorial-nullstellensatz.html", "published_at": "2024-09-12T22:38:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3a68e640", "title": "Combinatorics of partitions", "url": "https://freedommathdance.blogspot.com/2024/08/combinatorics-of-partitions.html", "published_at": "2024-08-12T11:17:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3a85714a", "title": "Number theory and finite automata", "url": "https://freedommathdance.blogspot.com/2024/07/number-theory-and-finite-automata.html", "published_at": "2024-07-20T16:31:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3b567288", "title": "Evaluating the operator norms of matrices", "url": "https://freedommathdance.blogspot.com/2024/04/evaluating-operator-norms-of-matrices.html", "published_at": "2024-04-14T15:19:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3c3be8b0", "title": "The topology on the ring of polynomials and the continuity of the evaluation map", "url": "https://freedommathdance.blogspot.com/2024/04/the-topology-on-ring-of-polynomials-and.html", "published_at": "2024-04-13T14:01:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3cce093d", "title": "Flatness and projectivity: when is the localization of a ring a projective module?", "url": "https://freedommathdance.blogspot.com/2024/04/flatness-and-projectivity-when-the.html", "published_at": "2024-04-10T16:35:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3d7095ba", "title": "Combinatorics of the nilpotent cone", "url": "https://freedommathdance.blogspot.com/2024/03/combinatorics-of-nilpotent-cone.html", "published_at": "2024-03-16T17:25:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3d8efde3", "title": "A combinatorial proof of the Newton identities", "url": "https://freedommathdance.blogspot.com/2023/10/a-combinatorical-proof-of-newton.html", "published_at": "2023-10-13T16:03:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3e0da552", "title": "On soccer balls", "url": "https://freedommathdance.blogspot.com/2023/08/on-soccer-balls.html", "published_at": "2023-08-04T19:41:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3e8e70b0", "title": "Electrostatics and rationality of power series", "url": "https://freedommathdance.blogspot.com/2023/07/electrostatics-and-rationality-of-power.html", "published_at": "2023-07-05T22:33:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b3f88fab0", "title": "Associated prime ideals", "url": "https://freedommathdance.blogspot.com/2023/02/associated-prime-ideals.html", "published_at": "2023-02-17T11:38:00+00:00" }, { "id": "01a08779-ef79-7195-81d8-367b401eb4d4", "title": "The Klein group, the centralizer of a permutation, and its relation with the alternating group", "url": "https://freedommathdance.blogspot.com/2023/01/the-klein-group-and-centralizer-of.html", "published_at": "2023-01-01T20:48:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ea6efa5a6", "title": "Multiplicative square roots", "url": "https://freedommathdance.blogspot.com/2022/12/multiplicative-square-roots.html", "published_at": "2022-12-12T01:41:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ea77a2bca", "title": "#Mathober2022", "url": "https://freedommathdance.blogspot.com/2022/11/mathober2022.html", "published_at": "2022-11-01T17:06:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ea7a98f82", "title": "Yet another post on simplicity", "url": "https://freedommathdance.blogspot.com/2022/09/yet-another-post-on-simplicity.html", "published_at": "2022-09-13T09:14:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ea86ed843", "title": "The very simple proof that the alternating group on 5 letters (or more) is simple", "url": "https://freedommathdance.blogspot.com/2021/12/the-very-simple-proof-that-alternating.html", "published_at": "2021-12-21T19:09:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ea9461055", "title": "Not simple proofs of simplicity", "url": "https://freedommathdance.blogspot.com/2021/12/not-simple-proofs-of-simplicity.html", "published_at": "2021-12-12T23:05:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ea9678651", "title": "Growth of the Gaussian pivoting algorithm", "url": "https://freedommathdance.blogspot.com/2021/04/growth-of-gaussian-pivoting-algorithm.html", "published_at": "2021-04-21T22:18:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ea9ab4a5f", "title": "On the Hadamard-Lévy theorem, or is it Banach-Mazur?", "url": "https://freedommathdance.blogspot.com/2021/04/on-hadamard-levy-theorem-or-is-it.html", "published_at": "2021-04-02T07:47:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ea9d722ff", "title": "The Fermat–Lévy constant", "url": "https://freedommathdance.blogspot.com/2021/03/the-fermat-levy-constant.html", "published_at": "2021-03-27T18:51:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eaa258f1b", "title": "Transcendence properties of the Painlevé and Schwarzian differential equations", "url": "https://freedommathdance.blogspot.com/2021/02/transcendence-properties-of-painleve.html", "published_at": "2021-02-24T22:50:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eaaf3c294", "title": "On Rolle's theorem", "url": "https://freedommathdance.blogspot.com/2021/01/on-rolles-theorem.html", "published_at": "2021-01-14T00:33:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eab500a26", "title": "Celebrating Ramanujan's birthday — From powers of divisors to coefficients of modular forms", "url": "https://freedommathdance.blogspot.com/2020/12/celebrating-ramanujans-birthday.html", "published_at": "2020-12-22T22:31:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eabe92f7b", "title": "Simple cases for non-simplicity", "url": "https://freedommathdance.blogspot.com/2020/11/simple-cases-for-non-simplicity.html", "published_at": "2020-11-19T12:57:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eac1aaea1", "title": "Using texexec to modify a PDF file (from the shell)", "url": "https://freedommathdance.blogspot.com/2020/05/using-texexec-to-modify-pdf-file-from.html", "published_at": "2020-05-13T12:21:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eac505001", "title": "Some proofs of the quadratic reciprocity law", "url": "https://freedommathdance.blogspot.com/2020/04/some-proofs-of-quadratic-reciprocity-law.html", "published_at": "2020-04-11T23:10:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ead3d83f6", "title": "Dynamics of Hecke correspondences", "url": "https://freedommathdance.blogspot.com/2020/02/dynamics-of-hecke-correspondences.html", "published_at": "2020-02-11T23:58:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ead6c5f2c", "title": "Behaviour of conjugacy by reduction modulo integers", "url": "https://freedommathdance.blogspot.com/2019/12/behaviour-of-conjugacy-by-reduction.html", "published_at": "2019-12-27T19:32:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ead7d2219", "title": "Irreducibility of cyclotomic polynomials", "url": "https://freedommathdance.blogspot.com/2019/07/irreducibility-of-cyclotomic-polynomials.html", "published_at": "2019-07-02T13:56:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036ead7f2a51", "title": "Designs, Skolem sequences, and partitions of integers", "url": "https://freedommathdance.blogspot.com/2019/05/designs-skolem-sequences-and-partitions.html", "published_at": "2019-05-18T23:01:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eae18db8b", "title": "A theorem of Lee—Yang on root of polynomials", "url": "https://freedommathdance.blogspot.com/2018/05/a-theorem-of-lee-yang.html", "published_at": "2018-05-12T21:47:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eaeea0431", "title": "Combinatorics and probability : Greene, Nijenhuis and Wilf's proof of the hook length formula", "url": "https://freedommathdance.blogspot.com/2018/05/combinatorics-and-probability-greene.html", "published_at": "2018-05-02T09:24:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eaefc5cb4", "title": "Contemporary homological algebra — Ignoramus et ignorabimus (?)", "url": "https://freedommathdance.blogspot.com/2017/03/contemporary-homological-algebra.html", "published_at": "2018-02-07T15:10:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eaf07e1d2", "title": "Warning! — Theorems ahead", "url": "https://freedommathdance.blogspot.com/2017/03/warning.html", "published_at": "2017-03-22T17:14:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eaf3f965d", "title": "Counting points and counting curves on varieties — Tribute to Daniel Perrin", "url": "https://freedommathdance.blogspot.com/2017/02/counting-points-and-counting-curves-on.html", "published_at": "2017-02-05T14:59:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eb010aa74", "title": "“May you and all your students flourish.”", "url": "https://freedommathdance.blogspot.com/2017/01/may-you-and-all-your-students-flourish.html", "published_at": "2017-01-09T09:01:00+00:00" }, { "id": "01a0c51c-9e48-70b4-96c5-036eb0a3240b", "title": "Triviality of vector bundles with connections on simply connected varieties", "url": "https://freedommathdance.blogspot.com/2016/06/triviality-of-vector-bundles-with.html", "published_at": "2016-06-11T21:10:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b3796e82", "title": "Bourbaki and Felix Klein", "url": "https://freedommathdance.blogspot.com/2016/05/bourbaki-and-felix-klein.html", "published_at": "2016-05-04T23:29:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b4033b00", "title": "Roth's theorems", "url": "https://freedommathdance.blogspot.com/2016/04/roths-theorems.html", "published_at": "2016-04-29T14:09:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b47b7521", "title": "Weierstrass's approximation theorem", "url": "https://freedommathdance.blogspot.com/2016/04/weierstrass-approximation-theorem.html", "published_at": "2016-04-13T13:55:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b49dbf53", "title": "Sound and color", "url": "https://freedommathdance.blogspot.com/2016/02/sound-and-color.html", "published_at": "2016-02-24T06:22:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b4f67b94", "title": "Happy New Year!", "url": "https://freedommathdance.blogspot.com/2016/02/happy-new-year.html", "published_at": "2016-02-09T22:09:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b51e675f", "title": "Model theory and algebraic geometry, 5 — Algebraic differential equations from coverings", "url": "https://freedommathdance.blogspot.com/2016/01/model-theory-and-algebraic-geometry-5.html", "published_at": "2016-01-04T19:40:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b579425b", "title": "When Baire meets Krasner", "url": "https://freedommathdance.blogspot.com/2015/11/when-baire-meets-krasner.html", "published_at": "2015-11-11T21:04:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b5aeef19", "title": "On Lp-spaces, when 0<p<1, convex sets and linear forms", "url": "https://freedommathdance.blogspot.com/2015/10/on-l-p-spaces-when-0-p-convex-sets-and.html", "published_at": "2015-10-25T22:56:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b62c5de7", "title": "Model theory and algebraic geometry, 4 — Elimination of imaginaries", "url": "https://freedommathdance.blogspot.com/2015/06/model-theory-and-algebraic-geometry-4.html", "published_at": "2015-06-06T15:34:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b713e3d7", "title": "Model theory and algebraic geometry, 3 — Real closed fields and o-minimality", "url": "https://freedommathdance.blogspot.com/2015/05/model-theory-and-algebraic-geometry-3.html", "published_at": "2015-05-11T20:51:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b7bd8a77", "title": "Model theory and algebraic geometry, 2 — Definable sets, types; quantifier elimination", "url": "https://freedommathdance.blogspot.com/2015/05/model-theory-and-algebraic-geometry-2.html", "published_at": "2015-05-02T21:22:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b8252e3a", "title": "Model theory and algebraic geometry, 1 — Structures, languages, theories, models", "url": "https://freedommathdance.blogspot.com/2015/04/model-theory-and-algebraic-geometry-1.html", "published_at": "2015-04-23T00:37:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b840b3a2", "title": "When Lagrange meets Galois", "url": "https://freedommathdance.blogspot.com/2015/03/when-lagrange-meets-galois.html", "published_at": "2015-03-23T17:08:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b8cb1b25", "title": "Galois Theory, Geck's style", "url": "https://freedommathdance.blogspot.com/2015/02/galois-theory-gecks-style.html", "published_at": "2015-02-28T16:21:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b903e05d", "title": "Vijay Iyer and Wadada Leo Smith at The Stone", "url": "https://freedommathdance.blogspot.com/2015/01/vijay-iyer-and-wadada-leo-smith-at-stone.html", "published_at": "2015-01-26T05:48:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607b93246c8", "title": "Book review: Contemplative Practices in Higher Education", "url": "https://freedommathdance.blogspot.com/2014/10/book-review-contemplative-practices-in.html", "published_at": "2014-09-30T22:46:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607ba0fd4bf", "title": "The evolution of higher education", "url": "https://freedommathdance.blogspot.com/2014/05/the-evolution-of-higher-education.html", "published_at": "2014-05-31T15:37:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607bae858d8", "title": "A map of the universe", "url": "https://freedommathdance.blogspot.com/2014/02/map-of-universe.html", "published_at": "2014-02-14T14:17:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607bb109573", "title": "Wadada Leo Smith: Ten Freedom Summers", "url": "https://freedommathdance.blogspot.com/2014/02/wadada-leo-smith-ten-freedom-summers.html", "published_at": "2014-02-01T12:50:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607bb8bb23c", "title": "Radon measures form a sheaf for a natural Grothendieck topology on topological spaces", "url": "https://freedommathdance.blogspot.com/2014/01/radon-measures-form-sheaf-for-natural.html", "published_at": "2014-01-09T21:12:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607bc744769", "title": "Homotopy type theory on Images des mathématiques", "url": "https://freedommathdance.blogspot.com/2013/12/homotopy-type-theory-on-images-des.html", "published_at": "2013-12-08T18:55:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607bc78e14d", "title": "Ari Hoenig concert", "url": "https://freedommathdance.blogspot.com/2013/11/ari-hoenig.html", "published_at": "2013-11-08T16:13:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607bca56d50", "title": "Walls have ears—Random numbers, Diffie-Hellman, Tom Hales and the NSA", "url": "https://freedommathdance.blogspot.com/2013/10/walls-have-earsrandom-numbers-diffie.html", "published_at": "2013-10-11T12:52:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607bd84c321", "title": "A presheaf that has no associated sheaf", "url": "https://freedommathdance.blogspot.com/2013/03/a-presheaf-that-has-no-associated-sheaf.html", "published_at": "2013-03-08T09:11:00+00:00" }, { "id": "01a0c527-cdda-72c3-a0b9-b607be5ed597", "title": "S. Bloch on Milne's Étale cohomology", "url": "https://freedommathdance.blogspot.com/2013/03/s-bloch-on-milnes-etale-cohomology.html", "published_at": "2013-03-08T07:51:00+00:00" }, { "id": "01a0c533-07d9-7237-b5f0-480c7ed1c4d0", "title": "The Poisson summation formula, Minkowski's first theorem, and the density of sphere packings", "url": "https://freedommathdance.blogspot.com/2013/02/the-poisson-summation-formula_16.html", "published_at": "2013-02-15T23:39:00+00:00" }, { "id": "01a0c533-07d9-7237-b5f0-480c7f4c93c6", "title": "The Poisson summation formula, arithmetic and geometry", "url": "https://freedommathdance.blogspot.com/2013/02/the-poisson-summation-formula.html", "published_at": "2013-02-11T22:26:00+00:00" }, { "id": "01a0c533-07d9-7237-b5f0-480c800c65cb", "title": "Product of two quotient spaces - an frequent and (in)famous mistake", "url": "https://freedommathdance.blogspot.com/2012/12/product-of-two-quotient-spaces-frequent.html", "published_at": "2012-12-05T16:07:00+00:00" }, { "id": "01a0c533-07d9-7237-b5f0-480c8043d650", "title": "Finite choices", "url": "https://freedommathdance.blogspot.com/2012/11/finite-choices.html", "published_at": "2012-11-27T08:47:00+00:00" }, { "id": "01a0c533-07d9-7237-b5f0-480c811d20ca", "title": "Misconceptions about $K_X$", "url": "https://freedommathdance.blogspot.com/2012/11/misconceptions-about-kx.html", "published_at": "2012-11-21T21:46:00+00:00" }, { "id": "01a0c533-07d9-7237-b5f0-480c816b6ee3", "title": "The category of sets and its opposite", "url": "https://freedommathdance.blogspot.com/2012/11/the-category-of-sets-and-its-opposite.html", "published_at": "2012-11-21T21:33:00+00:00" }, { "id": "01a0c533-07d9-7237-b5f0-480c81c78e0b", "title": "The van Kampen Theorem", "url": "https://freedommathdance.blogspot.com/2012/11/the-van-kampen-theorem.html", "published_at": "2012-11-18T15:38:00+00:00" }, { "id": "01a0c533-07d9-7237-b5f0-480c82248d3e", "title": "Cardinality of ultraproducts (an update)", "url": "https://freedommathdance.blogspot.com/2012/10/cardinality-of-ultraproducts-update.html", "published_at": "2012-10-17T22:51:00+00:00" }, { "id": "01a0c533-07d9-7237-b5f0-480c824edd0a", "title": "Ultrafilters", "url": "https://freedommathdance.blogspot.com/2012/10/ultrafilters.html", "published_at": "2012-10-16T23:25:00+00:00" }, { "id": "01a0c533-07d9-7237-b5f0-480c82eff55b", "title": "Birth of a new blog", "url": "https://freedommathdance.blogspot.com/2012/10/birth-of-new-blog.html", "published_at": "2012-10-16T21:16:00+00:00" } ] posts Claim your blog
Back to Freedom Math Dance
Blog · corpus.blog/blogs/freedommathdance.blogspot.com/posts

Freedom Math Dance

freedommathdance.blogspot.com

2026

On the theorem of Gelfand-Mazuroriginal ↗
13 Apr 2026
Joyal's proof of Cayley's formula for the enumeration of treesoriginal ↗
18 Feb 2026
Associated prime ideals and regular elements in polynomial ringsoriginal ↗
13 Feb 2026

2025

The determinant of transvections (an update)original ↗
30 Nov 2025
The determinant of transvectionsoriginal ↗
6 Nov 2025
The two adjunctions of the preimageoriginal ↗
6 Sept 2025
The Krull dimension of the semiring of natural numbers is equal to 2original ↗
14 Jul 2025
Autoformalization of mathematical theorems? No shit!original ↗
2 Jul 2025
Yet another proof of the Weierstrass approximation theoremoriginal ↗
25 Apr 2025
Yet another proof of the inequality between the arithmetic and the geometric meansoriginal ↗
24 Apr 2025
A generalization of the Eisenstein criterionoriginal ↗
6 Apr 2025
A simple proof of a theorem of Kroneckeroriginal ↗
29 Mar 2025
On numbers and unicornsoriginal ↗
11 Jan 2025

2024

The combinatorial Nullstellensatzoriginal ↗
12 Sept 2024
Combinatorics of partitionsoriginal ↗
12 Aug 2024
Number theory and finite automataoriginal ↗
20 Jul 2024
Evaluating the operator norms of matricesoriginal ↗
14 Apr 2024
The topology on the ring of polynomials and the continuity of the evaluation maporiginal ↗
13 Apr 2024
Flatness and projectivity: when is the localization of a ring a projective module?original ↗
10 Apr 2024
Combinatorics of the nilpotent coneoriginal ↗
16 Mar 2024

2023

A combinatorial proof of the Newton identitiesoriginal ↗
13 Oct 2023
On soccer ballsoriginal ↗
4 Aug 2023
Electrostatics and rationality of power seriesoriginal ↗
5 Jul 2023
Associated prime idealsoriginal ↗
17 Feb 2023
The Klein group, the centralizer of a permutation, and its relation with the alternating grouporiginal ↗
1 Jan 2023

2022

Multiplicative square rootsoriginal ↗
12 Dec 2022
#Mathober2022original ↗
1 Nov 2022
Yet another post on simplicityoriginal ↗
13 Sept 2022

2021

The very simple proof that the alternating group on 5 letters (or more) is simpleoriginal ↗
21 Dec 2021
Not simple proofs of simplicityoriginal ↗
12 Dec 2021
Growth of the Gaussian pivoting algorithmoriginal ↗
21 Apr 2021
On the Hadamard-Lévy theorem, or is it Banach-Mazur?original ↗
2 Apr 2021
The Fermat–Lévy constantoriginal ↗
27 Mar 2021
Transcendence properties of the Painlevé and Schwarzian differential equationsoriginal ↗
24 Feb 2021
On Rolle's theoremoriginal ↗
14 Jan 2021

2020

Celebrating Ramanujan's birthday — From powers of divisors to coefficients of modular formsoriginal ↗
22 Dec 2020
Simple cases for non-simplicityoriginal ↗
19 Nov 2020
Using texexec to modify a PDF file (from the shell)original ↗
13 May 2020
Some proofs of the quadratic reciprocity laworiginal ↗
11 Apr 2020
Dynamics of Hecke correspondencesoriginal ↗
11 Feb 2020

2019

Behaviour of conjugacy by reduction modulo integersoriginal ↗
27 Dec 2019
Irreducibility of cyclotomic polynomialsoriginal ↗
2 Jul 2019
Designs, Skolem sequences, and partitions of integersoriginal ↗
18 May 2019

2018

A theorem of Lee—Yang on root of polynomialsoriginal ↗
12 May 2018
Combinatorics and probability : Greene, Nijenhuis and Wilf's proof of the hook length formulaoriginal ↗
2 May 2018
Contemporary homological algebra — Ignoramus et ignorabimus (?)original ↗
7 Feb 2018

2017

Warning! — Theorems aheadoriginal ↗
22 Mar 2017
Counting points and counting curves on varieties — Tribute to Daniel Perrinoriginal ↗
5 Feb 2017
“May you and all your students flourish.”original ↗
9 Jan 2017

2016

Triviality of vector bundles with connections on simply connected varietiesoriginal ↗
11 Jun 2016
Bourbaki and Felix Kleinoriginal ↗
4 May 2016
Roth's theoremsoriginal ↗
29 Apr 2016
Weierstrass's approximation theoremoriginal ↗
13 Apr 2016
Sound and colororiginal ↗
24 Feb 2016
Happy New Year!original ↗
9 Feb 2016
Model theory and algebraic geometry, 5 — Algebraic differential equations from coveringsoriginal ↗
4 Jan 2016

2015

When Baire meets Krasneroriginal ↗
11 Nov 2015
On Lp-spaces, when 0<p<1, convex sets and linear formsoriginal ↗
25 Oct 2015
Model theory and algebraic geometry, 4 — Elimination of imaginariesoriginal ↗
6 Jun 2015
Model theory and algebraic geometry, 3 — Real closed fields and o-minimalityoriginal ↗
11 May 2015
Model theory and algebraic geometry, 2 — Definable sets, types; quantifier eliminationoriginal ↗
2 May 2015
Model theory and algebraic geometry, 1 — Structures, languages, theories, modelsoriginal ↗
23 Apr 2015
When Lagrange meets Galoisoriginal ↗
23 Mar 2015
Galois Theory, Geck's styleoriginal ↗
28 Feb 2015
Vijay Iyer and Wadada Leo Smith at The Stoneoriginal ↗
26 Jan 2015

2014

Book review: Contemplative Practices in Higher Educationoriginal ↗
30 Sept 2014
The evolution of higher educationoriginal ↗
31 May 2014
A map of the universeoriginal ↗
14 Feb 2014
Wadada Leo Smith: Ten Freedom Summersoriginal ↗
1 Feb 2014
Radon measures form a sheaf for a natural Grothendieck topology on topological spacesoriginal ↗
9 Jan 2014

2013

Homotopy type theory on Images des mathématiquesoriginal ↗
8 Dec 2013
Ari Hoenig concertoriginal ↗
8 Nov 2013
Walls have ears—Random numbers, Diffie-Hellman, Tom Hales and the NSAoriginal ↗
11 Oct 2013
A presheaf that has no associated sheaforiginal ↗
8 Mar 2013
S. Bloch on Milne's Étale cohomologyoriginal ↗
8 Mar 2013
The Poisson summation formula, Minkowski's first theorem, and the density of sphere packingsoriginal ↗
15 Feb 2013
The Poisson summation formula, arithmetic and geometryoriginal ↗
11 Feb 2013

2012

Product of two quotient spaces - an frequent and (in)famous mistakeoriginal ↗
5 Dec 2012
Finite choicesoriginal ↗
27 Nov 2012
Misconceptions about $K_X$original ↗
21 Nov 2012
The category of sets and its oppositeoriginal ↗
21 Nov 2012
The van Kampen Theoremoriginal ↗
18 Nov 2012
Cardinality of ultraproducts (an update)original ↗
17 Oct 2012
Ultrafiltersoriginal ↗
16 Oct 2012
Birth of a new blogoriginal ↗
16 Oct 2012