∑ Math - ghosh.debasish · Scour

Video Games that Secretly Teach Mathematics 📐Theorem Proving

brennan.day·1d

Generalised plusequals 🔧SMT Solvers

leontrolski.github.io·5d·Hacker News

MATH-PT: A Math Reasoning Benchmark for European and Brazilian Portuguese 🔤PLT

Simplifier 🖥️Systems Programming

simplifier.neocities.org·3d

Mathematics and Empiricism 🔁Category Theory

lesswrong.com·5d

Line then plane and space 📐Geometric Algorithms

breno.bearblog.dev·1d

Simplifying complex ideas in sketches 🔨Program Synthesis

sketchplanations.com·6d

Pseudo-Complex Quantifier Elimination 🔧SMT Solvers

Crash Course on Notation in Programming Language Theory 🔤PLT

siek.blogspot.com·3d·r/programming

The Archic Matrix 🔁Category Theory

ottobwiersma.nl·4d

SEXUATED TOPOLOGY AND THE SUSPENSION OF MEANING A NON-HERMENEUTICAL PHENOMENOLOGICAL APPROACH TO TEXTUAL ANALYSIS WILLIAM J. URBAN 🔁Category Theory

swingtradesystems.com·3d

Mathematical Understanding 📐Theorem Proving

philsci-archive.pitt.edu·6d

Abstraction 🔍Abstract Interpretation

en.wikipedia.org·4d

Fantabulous Numbers 📐Theorem Proving

mindyourdecisions.com·6d

Toward a Functional Geometric Algebra for Natural Language Semantics 🧮Denotational Semantics

Vector, the Journal of the British APL Association 🔤PLT

web.archive.org·5d·Hacker News

Mathsci-comm Network 🕸️Graph Theory

mathsci-comm.maths.org·5d

The Polynomial Hierarchy and $\omega$-categorical CSPs 🔁Category Theory

Rokhlin's theorem in nLab 🔁Category Theory

ncatlab.org·6d

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 𝕋Type Theory

Log in to enable infinite scrolling