I just posted the source code for my library/environment for doing symbolic computations in differential geometry:
Juan M. Bello-Rivas
I crunch numbers for a living.
Posts
An implementation of Gottesman & Aaronson's CHP algorithm that's been sitting on my hard drive for some time:
Alexandre Chorin on the Mori-Zwanzig formalism: “one thing dawned on me: in fact, all it was is a formula for computing conditional expectations.”
"We present a diverse set of 10 research-level math questions, drawn from algebraic combinatorics, spectral graph theory, algebraic topology, stochastic analysis, symplectic geometry, representation theory, lattices in Lie groups, tensor analysis, and numerical linear algebra. Each question arose naturally in the research process of the authors and has been answered with a proof of roughly five pages or less, but the answers have not yet been posted online."
Dead Pioneers - Freedom Means Something
#Introduction I'm an applied mathematician and computer programmer. I'm interested in quantum error correction, dynamical systems, statistical mechanics, differential geometry, numerical analysis, machine learning, etc. I'm looking forward to participating in this community.