G
YouTube TikTok Games
Skip to content
#

spde

Here are 20 public repositories matching this topic...

Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.

  • Updated Oct 17, 2026
  • Julia

Stochastic PDE solvers (SPDE) built on top of exponax: Exponential Euler-Maruyama stepper for the stochastic Allen-Cahn equation with additive/multiplicative Q-Wiener noise, tamed nonlinearities, ensemble utilities, Richardson extrapolation, and a Strang-split hybrid SSA scaffold.

  • Updated Feb 27, 2026
  • Python

Lean 4 companion (partial formalization) to the second moment of the Stratonovich hyperbolic Anderson model: finite, algebraic and scalar steps checked by Lean, analytic inputs as explicit hypotheses; correspondence reviewed by AI, not by a human.

  • Updated Nov 13, 2026
  • Lean

Add this topic to your repo

To associate your repository with the spde topic, visit your repo's landing page and select "manage topics."

Learn more