Verified MATLAB->Python migration of Mie scattering code (Matzler 2002 / Jacques-Brown), with numerical-equivalence harness
Doctoral thesis (USP): numerical verification of high-order solvers for incompressible viscoelastic flows via the Method of Manufactured Solutions. Fortran reference programs, Python library, and ML-ready datasets.
Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl
Verified MATLAB->Python port of PPML RCWA with a differential test harness: 246 seeded fixtures, machine-level equivalence report
Code and generated data for numerical verification of Airy turning-point asymptotics for Ramanujan's A_q function
Reproducible Jupyter notebooks verifying numerical results from the harmonic measure paper.
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.
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."