An introduction to computer algebra (2018)
corywalker.me·2d·
Discuss: Hacker News
🔢Numerical Methods
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·1d
🔄Functional Programming
Flag this post
Condensation
lesswrong.com·1d
🌡️Thermodynamics
Flag this post
Simulating Clifford Circuits with Gaussian Elimination
arxiv.org·6h
💻Computational Science
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.org·1d
Linear Algebra
Flag this post
The Implication of Malloy in Analytics
fromanengineersight.substack.com·14h·
Discuss: Substack
Applied Mathematics
Flag this post
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.org·6h
🔄Functional Programming
Flag this post
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.org·19h·
🔄Functional Programming
Flag this post
Implementing E Unification using SMT
philipzucker.com·1d
🔄Functional Programming
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·6h
🔄Functional Programming
Flag this post
Boost.Decimal Has Been Accepted
lists.boost.org·15h·
Discuss: Hacker News
🔢Numerical Methods
Flag this post
What's the deal with Euler's identity?
substackcdn.com·2d·
Discuss: Substack
Linear Algebra
Flag this post
Lossless Compression with Asymmetric Numeral Systems (2020)
bjlkeng.io·22h·
Discuss: Hacker News
📊Statistical Mechanics
Flag this post
Leverage data to contextualize competitive construction
constructiondive.com·1h
🔬Finite Element Analysis
Flag this post
Weekly Challenge: Longest Expression
dev.to·1d·
Discuss: DEV
🔄Functional Programming
Flag this post
Walsh-Hadamard Neural Operators for Solving PDEs with Discontinuous Coefficients
arxiv.org·6h
Partial Differential Equations
Flag this post
Students in China: solve a math problem for the Wi-Fi password!
mindyourdecisions.com·1d
🔢Numerical Methods
Flag this post
From Cycles to Lines: How Numbers Became Linear
reddit.com·15h·
Discuss: r/7DOS
Linear Algebra
Flag this post
Builder Design Pattern and Cyclomatic Complexity Reduction
johnjr.dev·18h·
Discuss: Hacker News
🔄Functional Programming
Flag this post
An interview with William Kahan, the old man of floating-point. (1998)
people.eecs.berkeley.edu·19h·
Discuss: Hacker News
🔢Numerical Methods
Flag this post