A simple explanation of a/(b+c) + b/(c+a) + c/(a+b) = 4
(eth.limo)
You may have at some point seen this math puzzle:
You may have at some point seen this math puzzle:
As a programmer, get your math sorted
(csprimer.in)
Master the mathematical foundations essential for computer science.
Master the mathematical foundations essential for computer science.
Implementing complex numbers and FFT with just datatypes (2023)
(github.com)
In this article, I'll explain why implementing numbers with just algebraic datatypes is desirable.
In this article, I'll explain why implementing numbers with just algebraic datatypes is desirable.
Mathematical Fiction
(people.charleston.edu)
The Mathematical Fiction Homepage is my attempt to collect information about all significant references to mathematics in fiction.
The Mathematical Fiction Homepage is my attempt to collect information about all significant references to mathematics in fiction.
There Is No Diffie-Hellman but Elliptic Curve Diffie-Hellman
(keymaterial.net)
When I first learned about Diffie-Hellman and especially elliptic curve Diffie-Hellman, I had one rather obvious question: Why elliptic curves? Why use this strange group that seems rather arbitrary, with its third intersection of a line and then reflected? Why not use, say, the Monster Group? Surely a monster is better equipped to guard your secrets than some curve thing named after, but legally distinct from, a completely different curve thing!
When I first learned about Diffie-Hellman and especially elliptic curve Diffie-Hellman, I had one rather obvious question: Why elliptic curves? Why use this strange group that seems rather arbitrary, with its third intersection of a line and then reflected? Why not use, say, the Monster Group? Surely a monster is better equipped to guard your secrets than some curve thing named after, but legally distinct from, a completely different curve thing!
Right-Truncatable Prime Counter
(github.com/EbodShojaei)
This C program efficiently calculates the number of right-truncatable primes for a given number of digits.
This C program efficiently calculates the number of right-truncatable primes for a given number of digits.
A Formal Proof of Complexity Bounds on Diophantine Equations
(arxiv.org)
We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory.
We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory.
The Transwedge Product
(terathon.com)
Introductory texts on geometric algebra often begin by showing how the geometric product is a combination of the wedge product and the dot product, giving us the formula[1]
Introductory texts on geometric algebra often begin by showing how the geometric product is a combination of the wedge product and the dot product, giving us the formula[1]
100 theorems in Lean
(leanprover-community.github.io)
Freek Wiedijk maintains a list tracking progress of theorem provers in formalizing 100 classic theorems in mathematics as a way of comparing prominent theorem provers.
Freek Wiedijk maintains a list tracking progress of theorem provers in formalizing 100 classic theorems in mathematics as a way of comparing prominent theorem provers.
Graduate Student Solves Classic Problem About the Limits of Addition
(quantamagazine.org)
The simplest ideas in mathematics can also be the most perplexing.
The simplest ideas in mathematics can also be the most perplexing.
Enzyme Automatic Differentiation Framework
(enzyme.mit.edu)
The Enzyme project is a tool that takes arbitrary existing code as LLVM IR and computes the derivative (and gradient) of that function.
The Enzyme project is a tool that takes arbitrary existing code as LLVM IR and computes the derivative (and gradient) of that function.
Math and the Museum
(wordpress.com)
New York City now boasts one of the best mathematics museums in the world, the National Museum of Mathematics, informally called MoMath.
New York City now boasts one of the best mathematics museums in the world, the National Museum of Mathematics, informally called MoMath.
Convolutions, Polynomials and Flipped Kernels
(thegreenplace.net)
This is a post about multiplying polynomials, convolution sums and the connection between them.
This is a post about multiplying polynomials, convolution sums and the connection between them.
A bestiary of mathematical functions for systems designers
(brunodias.dev)
Whether your game surfaces its numbers to the player or not, odds are it has underlying systems that rely on them, and you use functions to determine how those numbers affect each other. In other words, a mathematical function is usually at the core of the answer to a bunch of frequent game design questions.
Whether your game surfaces its numbers to the player or not, odds are it has underlying systems that rely on them, and you use functions to determine how those numbers affect each other. In other words, a mathematical function is usually at the core of the answer to a bunch of frequent game design questions.
Deep Learning Is Applied Topology
(theahura.substack.com)
When I think about AI, I think about topology.
When I think about AI, I think about topology.
Cleo, the mathematician that tricked Stack Exchange
(wikipedia.org)
Cleo was the pseudonym of an anonymous mathematician active on the mathematics Stack Exchange from 2013 to 2015, who became known for providing precise answers to complex mathematical integration problems without showing any intermediate steps.
Cleo was the pseudonym of an anonymous mathematician active on the mathematics Stack Exchange from 2013 to 2015, who became known for providing precise answers to complex mathematical integration problems without showing any intermediate steps.
A shower thought turned into a Collatz visualization
(abstractnonsense.com)
I recently went on a nice long SCUBA diving trip with my wife and daughters. Lots of diving implies lots of showers, and lots of showers means lots of shower-thoughts! [1] An especially interesting one I had turned into a nice way to visualize some aspects of the Collatz Conjecture.
I recently went on a nice long SCUBA diving trip with my wife and daughters. Lots of diving implies lots of showers, and lots of showers means lots of shower-thoughts! [1] An especially interesting one I had turned into a nice way to visualize some aspects of the Collatz Conjecture.
A Formal Mathematical Investigation on the Validity of Kellogg's Glaze Claims
(reddit.com)
UPDATE: KELLOGG'S HAS RESPONDED!
UPDATE: KELLOGG'S HAS RESPONDED!
Two-Time IMO Gold Medalist Becomes President of Romania
(twitter.com)
Something went wrong, but don’t fret — let’s give it another shot.
Something went wrong, but don’t fret — let’s give it another shot.
What does the end of mathematics look like?
(awanderingmind.blog)
As a prelude to what is to follow, I must say that while I am not a professional mathematician (I have a masters degree in theoretical physics and work in the software world), I do enjoy reading the occasional textbook or review paper, and wandering through its pages in a type of reverie, like walking through a glade looking at flowers.
As a prelude to what is to follow, I must say that while I am not a professional mathematician (I have a masters degree in theoretical physics and work in the software world), I do enjoy reading the occasional textbook or review paper, and wandering through its pages in a type of reverie, like walking through a glade looking at flowers.
Vieta Jumping
(wikipedia.org)
In number theory, Vieta jumping, also known as root flipping, is a proof technique.
In number theory, Vieta jumping, also known as root flipping, is a proof technique.
Inigo Quilez: computer graphics, mathematics, shaders, fractals, demoscene
(iquilezles.org)
Please visit my the landing page to find video tutorials on computer graphics and other resources; this page contains only the written tutorials.
Please visit my the landing page to find video tutorials on computer graphics and other resources; this page contains only the written tutorials.
Mathematician solves algebra's oldest problem using intriguing number sequences
(unsw.edu.au)
A UNSW mathematician has discovered a new method to tackle algebra’s oldest challenge – solving higher polynomial equations.
A UNSW mathematician has discovered a new method to tackle algebra’s oldest challenge – solving higher polynomial equations.
The World Record for the Shortest Math Article: 2 Words
(openculture.com)
In 2004, John Conway and Alexander Soifer, both working on mathematics at Princeton University, submitted to the American Mathematical Monthly what they believed was “a new world record in the number of words in a [math] paper.”
In 2004, John Conway and Alexander Soifer, both working on mathematics at Princeton University, submitted to the American Mathematical Monthly what they believed was “a new world record in the number of words in a [math] paper.”
The most important thing to understand about queues (2016)
(danslimmon.com)
You only need to learn a little bit of queueing theory before you start getting that ecstatic “everything is connected!” high that good math always evokes. So many damn things follow the same set of abstract rules. Queueing theory lets you reason effectively about an enormous class of diverse systems, all with a tiny number of theorems.
You only need to learn a little bit of queueing theory before you start getting that ecstatic “everything is connected!” high that good math always evokes. So many damn things follow the same set of abstract rules. Queueing theory lets you reason effectively about an enormous class of diverse systems, all with a tiny number of theorems.
Open Problems in Computational geometry
(openproblem.net)
This project originally aimed to record important open problems of interest to researchers in computational geometry and related fields.
This project originally aimed to record important open problems of interest to researchers in computational geometry and related fields.