Math ∩ CS

2026/04/24 Variables That Exist in the Derivation But Not in the Execution
2026/04/21 Encoding ζ(3) as an Analog Computation: Two Routes, One Obstruction
2026/04/21 From the Reflection Trick to Fermi Integrals and Apéry's Constant
2026/04/20 A Gap Surfaced by Formalization: Transient Overshoot in the LPP Main Theorem
2026/04/20 A Two-Line Collapse: The Logistic Reflection Trick
2026/04/20 Constant-k Dual-Railing of the Scalar Cubic: A First Nontrivial Case
2026/04/20 Ripple: A Lean 4 Formalization of CRN-Computable Numbers
2026/04/20 Zero-Init Non-Collapse: Why a Bounded CRN Cannot Compute Zero by Decay
2026/04/17 Computing ζ(3) by Adaptation: A Polynomial ODE from the Apéry Equation
2026/04/17 Creative Telescoping: Turning Multi-Dimensional Integrals into ODEs
2026/04/17 The Inverse Problem of Reaction Kinetics: When Is Finding a Minimal CRN Trivial?
2026/04/16 Derivatives at the Conifold: How Singularities Encode $\zeta(3)$
2026/04/16 The Geometry Hiding in Algebraic Manipulations: A Manifold Perspective on CRN Computation
2026/04/16 Vieta's Theorem and a Gap in CRN-to-Protocol Translation
2026/04/10 Formalizing the 3-State Approximate Majority Protocol in Lean 4: Completing a Classic Proof
2026/04/10 From the Apéry Series to a Differential Equation for $\zeta(3)$
2026/04/10 Real-Time Computable Numbers and Schanuel's Conjecture
2026/04/10 The Reciprocal Module Is Continuous Newton's Method
2026/04/06 Baby-Step Giant-Step: The Elegance of Trading √n for √n
2026/04/06 Baby-Step Giant-Step: 用√n换√n的优雅
2026/04/01 A Gentle Upgrade: From Integration by Parts to Low-Pass Filters
2026/04/01 CRN Subtraction Is a Low-Pass Filter
2026/04/01 Erratum: A Sign Error in the Proof of Theorem 4 (DNA25)
2026/04/01 How Hard Is It to Compute α^β? A Bounded GPAC Error Analysis
2026/03/31 How Fast Does $\arctan(1 - e^{-t})$ Converge to $\pi/4$?
2026/03/30 Newton's Method, Complex Dynamics, and the GPAC Connection
2026/03/27 The Illusion of Rational Cancellation: An Infinite Regress in CRNs
2026/03/26 Computing Apéry's Constant with Chemistry (Well, Almost)
2026/03/25 Five Ways to Fail at One-Marking: A Research Diary
2026/03/25 Math Rendering Test
2026/03/25 One Marking, One Failure: The Method of Unknowns