Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl
Reproducible Jupyter notebooks verifying numerical results from the harmonic measure paper.
Testing the implementation of numerical methods for solving the convection diffusion problem with variable coefficients and Neumann boundary conditions
KL-Geometric Structure of Observer Entropy. Bridge Theorem: S_obs = ½ε²vᵀI(θ)v + O(ε³). Fisher–Rao metric, sufficient conditions, dissipation functional. Two worked examples (4-point and 5-point spaces). Python verification script and figures.
Add a description, image, and links to the numerical-verification topic page so that developers can more easily learn about it.
To associate your repository with the numerical-verification topic, visit your repo's landing page and select "manage topics."