Understanding Leibniz Notation in Calculus: Formal and Informal Interpretations
I wrote this for myself to understand the Leibniz notation. Prerequisites for this post are the definition of the derivative and the Lagrange notation. If you don’t understand these yet, please study…
Read the full articleYou might also wanna read
Formalization of Erdős problems
[This is a guest post by Boris Alexeev. Now over to Boris.] I’m here to tell you about various exciting developments centering on Erdős prob
xenaproject.wordpress.com·7mo ago
Review: Steven Strogatz's "Infinite Powers" Makes Calculus Compelling Even in a Noisy Bar
If you’re someone who likes learning for fun, I highly recommend Steven Strogatz’s Infinite Powers.1
raheeljunaid.com·1y ago
Coding Agent Formalization of Numerical Analysis Reveals Flaws in Compilation-Based Quality Metrics
Recent work has demonstrated that coding agents can formalize entire advanced mathematics textbooks in Lean 4, yet existing efforts concentr
arxiv.org·1mo ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.