An introduction to computer algebra (2018)
corywalker.meยท3dยท
Discuss: Hacker News
๐Ÿ”ขNumerical Methods
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.comยท2d
๐Ÿ”„Functional Programming
Flag this post
Condensation
lesswrong.comยท2d
๐ŸŒก๏ธThermodynamics
Flag this post
Simulating Clifford Circuits with Gaussian Elimination
arxiv.orgยท1d
๐Ÿ’ปComputational Science
Flag this post
Building a Hypercube Interpolator (in Rust)
jlogan.devยท3hยท
Discuss: Hacker News
๐Ÿ”„Functional Programming
Flag this post
Algebra - It's not what you think it is!
youtube.comยท1h
โˆซApplied Mathematics
Flag this post
Cache-Friendly, Low-Memory Lanczos Algorithm in Rust
lukefleed.xyzยท12hยท
๐Ÿ”ขNumerical Methods
Flag this post
๐Ÿงฎ [Project] Simple Open-Source C++ CLI Calculator โ€“ Contributors Welcome!
reddit.comยท12hยท
Discuss: r/opensource
๐Ÿ”„Functional Programming
Flag this post
Learning REDUCE in Excel completely changed how I use spreadsheets
makeuseof.comยท10h
๐Ÿ”„Functional Programming
Flag this post
Instant Parameter Selection for Modular Systems (b, p, t, r)
news.ycombinator.comยท8hยท
Discuss: Hacker News
๐Ÿ”„Functional Programming
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.orgยท2d
โž•Linear Algebra
Flag this post
Agentic AI Project: Build a Multi-Agent system with LangGraph and Open AI
pub.towardsai.netยท1h
๐Ÿ“ˆData Visualization
Flag this post
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.orgยท1d
๐Ÿ”„Functional Programming
Flag this post
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.orgยท1dยท
๐Ÿ”„Functional Programming
Flag this post
Mastering Cryptography: A Senior's Guide to Design, Attack, and Defend
dev.toยท8hยท
Discuss: DEV
โˆซApplied Mathematics
Flag this post
The Implication of Malloy in Analytics
fromanengineersight.substack.comยท1dยท
Discuss: Substack
โˆซApplied Mathematics
Flag this post
Implementing E Unification using SMT
philipzucker.comยท2d
๐Ÿ”„Functional Programming
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.orgยท1d
๐Ÿ”„Functional Programming
Flag this post
Thick practices for AI tools
lesswrong.comยท15h
๐Ÿ”ฌFinite Element Analysis
Flag this post