@misc{indiciae9893b3d3ec59,
  title = {Relative formalization in Isabelle/HOL of a result in inverse problems},
  author = {Cătălin I. Cârstea},
  year = {2026},
  url = {https://arxiv.org/abs/2608.23659},
  note = {Source identifier: 2608.23659}
}