∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Feeds to Scour
SubscribedAll
Scoured 252494 posts in 6.76 s
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮Theorem Provers
Preview
Report Post
Unlocking the value of C++20 - Alex Dathskovsky
youtube.com·8h·
Discuss: r/cpp
🎓Teaching Compilers
Preview
Report Post
**Title:** Enhanced Symmetry Detection via Adaptive Graph Resonance and Temporal Correlation Analysis: A Novel Approach to Mirror Symmetry Validation in High-Dimensional Spaces
freederia.com·6h
🔗Graph Rewriting
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·2d
🪜Recursive Descent
Preview
Report Post
Pythagoras’ “memory” as a symbol: why the same theorem keeps returning
reddit.com·3h·
Discuss: r/PhilosophyofMath
πPi Calculus
Preview
Report Post
Hershey Vector Font
paulbourke.net·1d
🔢Binary Formats
Preview
Report Post
the pile of books on my desk
lollar.bearblog.dev·2d
📐Mathematical Computing
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·18h
🔤Language Tokenizers
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·18h·
Discuss: Hacker News
💻Terminal Control
Preview
Report Post
Understanding Automata Theory Through Route Maps
dev.to·4h·
Discuss: DEV
🎯Finite Automata
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.io·11h·
Discuss: Hacker News
🔍ML Language
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🎯Symbolic Execution
Preview
Report Post
The Origins and Motivations of Univalent Foundations | Ideas
ias.edu·13h
🏗️Calculus of Constructions
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·2d
λLambda Calculus
Preview
Report Post
Data Analyst Learning Path 2026
analyticsvidhya.com·22h
🌊Dataflow Languages
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.com·15h·
Discuss: Hacker News
🌉Language Interop
Preview
Report Post
How to Craft a Strong AI/ML Thesis Statement
pub.towardsai.net
·4h
⚖️Inference Rules
Preview
Report Post
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu·1d
🪄C Metaprogramming
Preview
Report Post
Everything Is a Number
francescocarlucci.com·1d·
Discuss: Hacker News
📐Mathematical Computing
Preview
Report Post
🎲 The Automatic Grover Algorithm
lucamarx.com·1d
🎯Bit-Vector Algorithms
Preview
Report Post