📊 Mathematics - bassam_exe · Scour

Self-Complementary Graphs 🔢Homomorphic Encryption

mathworld.wolfram.com·4d·Hacker News

Domino Tiling: From Dynamic Programming to Finite Fields 🔢Homomorphic Encryption

omegasyntax.com·2d·Hacker News

How Alexander Grothendieck Revolutionized 20th-Century Mathematics 📐Mathematical Logic

quantamagazine.org·14h·Hacker News

Amazing: Erdős’ Unit Distance Problem was Disproved! It was achieved by AI! 📐Mathematical Logic

gilkalai.wordpress.com·6h

machine review for the scientific record ✅Formal Verification

pith.science·2d·Hacker News

Symbolic programming in Julia ✅Formal Verification

juliasymbolics.org·6d·Hacker News

The Riemann hypothesis is a million-dollar math problem hardly anyone is trying to solve 📐Mathematical Logic

scientificamerican.com

·1d·Hacker News

Erasing Existentials 🔢Homomorphic Encryption

wolfgirl.dev·15h·Lobsters, Hacker News

How Many Questions Can the World Afford to Ask AI? 🎯Game Theory

chicagobooth.edu·5h·Hacker News

Module Lattice Security (Part IV): Probabilistic Polynomial Quantum Attack on Module-LWE over 2-Power Cyclotomics 🔢Homomorphic Encryption

arxiv.org·2d·Hacker News

Why are there squares everywhere in statistics (e.g., normal density, variance, least squares, etc.)? 📐Mathematical Logic

statmodeling.stat.columbia.edu·4d·Hacker News

What Do Unions Do? 🎯Game Theory

nicholasdecker.substack.com·11h·Substack

System Realism: Why Math, Biology, and AI Make Perfection Impossible 🌐Complex Systems

ksaweryskowron.substack.com·1d·Substack

A Good Lemma Is Worth a Thousand Theorems 📐Mathematical Logic

sites.math.rutgers.edu·4d·Hacker News

Presentation of Xcas, the Swiss knife for mathematics ✅Formal Verification

www-fourier.univ-grenoble-alpes.fr·2d·Hacker News

Pythagorean Addition 🔢Homomorphic Encryption

entropicthoughts.com·2d·Hacker News

SymPy – a Python library for symbolic mathematics ✅Formal Verification

docs.sympy.org·5d·Hacker News

Using algebra and LLMs to verify a flight-plan bug fix in Lean ✅Formal Verification

jameshaydon.github.io·2d·Lobsters, Hacker News, r/programming

Paul Erdős 📐Mathematical Logic

en.wikipedia.org·3d·Hacker News

Google's Gemini Omni Can Write Math on a Chalkboard. AI Video's Hardest Problem May Be Getting Easier 🧠Polymath

firethering.com·6d·Hacker News

Log in to enable infinite scrolling