TY  - RPRT
TI  - Henstock--Kurzweil Path Integral in Financial Mathematics: A Machine-Verified Pricing of European and Barrier Options
AU  - Alexander S. Ushakov
AU  - Yury N. Berdinsky
PY  - 2026
DO  - 10.5281/zenodo.21600941
UR  - https://arxiv.org/abs/2608.19223
ID  - 2608.19223
ER  -