∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·8h
🔢Algebraic Datatypes
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·2d·
Discuss: Hacker News
πPi Calculus
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·23h·
Discuss: DEV
🧮Theorem Provers
What is Algebraic about Algebraic Effects?
interjectedfuture.com·20h
💫Effect Systems
I didn’t know these Excel functions existed, but now I can’t live without them
makeuseof.com·22h
📝Editor Buffers
Linkage
11011110.github.io·20h
🧮Combinator Calculus
The Ancient Story of Who Invented Math
inventorspot.com·8h
📐Mathematical Computing
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·8h
🔧Scheme Macros
Building a Legal Document Intelligence Platform with BigQuery AI: 99% Efficiency Implementation Guide
github.com·3h·
Discuss: DEV
⚡Incremental Parsing
Mathober 2025
fractalkitty.com·8h
📐Mathematical Computing
Online Exam helper | management homework help | math homework help algebra | math homework help geometry | math homework help with steps | math sites to help wi...
reddit.com·3h·
Discuss: r/Studentcorner
📐Mathematical Computing
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·4d·
Discuss: Lobsters, Hacker News
∫Mathematical DSLs
**Python Geometric Algorithms: Point-in-Polygon, Convex Hull & Spatial Indexing Techniques**
dev.to·3h·
Discuss: DEV
🔢Algebraic Datatypes
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
20+ Beautiful Dover Publications Vintage Math Textbook Covers
abakcus.com·1d
📐Mathematical Computing
Mechanical Proving the Symplecticity of Partitioned Runge--Kutta Methods for Determinate and Stochastic Hamiltonian Systems
arxiv.org·8h
🧮Combinator Calculus
The Horton-Strahler number of butterfly trees
arxiv.org·8h
🧮Combinator Calculus
The Orphic Hymns
brill.com·3h
🔗Concatenative Theory