Mathematician Finds Solution To Higher-Degree Polynomial Equations, Which Have Been Puzzling Experts For Nearly 200 Years

How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean

PEP 791 – imath — module for integer-specific mathematics functions

What does the end of mathematics look like?

Inigo Quilez: computer graphics, mathematics, shaders, fractals, demoscene

The unusual mathematics that gives rose petals their shape

380-year-old Descartes circle problem generalized using spinors from quantum physics

Stonean spaces, projective objects, the Riesz representation theorem, and (possibly) condensed mathematics

Comparison with Traditional Mathematics

Why there are lots of builtin functions related to mathematics in Zig?