Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl
Local KL–Fisher information-geometric bridge to Jensen–Shannon geometry for multi-observer aggregation. Companion code to Khomyakov (2026), Zenodo DOI 10.5281/zenodo.20373266. Verifies the 1/8 coefficient, multi-observer Fréchet barycenter expansion, and O(ε²) p_F–p_G coincidence.
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, Landauer bound. Two worked examples + 12 off-center robustness checks. Python v3 verification script and 7 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."