chenle02 / rough-heat-kernel-lean Sponsor Star 1 Code Issues Pull requests Lean 4 heat-kernel estimates and Gaussian-tempered rough initial data, with source-bound verification receipts. theorem-proving formalization heat-equation formal-verification probability-theory mathlib measure-theory lean4 stochastic-pde lean-pkg Updated Oct 26, 2026 Lean
xrough / nn-dk Star 0 Code Issues Pull requests Neural Dean-Kawasaki dynamics and statistics with conservative finite-volume references and reproducible uncertainty-aware experiments pytorch scientific-computing interacting-particles stochastic-pde neural-numerical-methods dean-kawasaki Updated Oct 26, 2026 Python
Ronobir1sarker / cheb-spde Star 0 Code Issues Pull requests Chebyshev exponential-integrator solver for stochastic PDEs on bounded domains python scientific-computing numerical-methods spde chebyshev exponential-integrator stochastic-pde Updated Jul 3, 2026 Python
andreascaglioni / stochllg Star 0 Code Issues Pull requests Approximation of the Stochastic Landau-Lifshitz-Gilbert equation (micromagnetics) with the Tangent Plane Scheme and finite elements. finite-elements micromagnetics micromagnetism fenics-x stochastic-partial-differential-equations tangent-plane-scheme time-stepping random-coefficient-pde stochastic-pde Updated Oct 25, 2026 Python