@misc{indiciae0670230d9294,
  title = {Henstock--Kurzweil Path Integral in Financial Mathematics: A Machine-Verified Pricing of European and Barrier Options},
  author = {Alexander S. Ushakov and Yury N. Berdinsky},
  year = {2026},
  doi = {10.5281/zenodo.21600941},
  url = {https://arxiv.org/abs/2608.19223},
  note = {Source identifier: 2608.19223}
}