@misc{indiciae7ac1d7262ce7,
  title = {A new formulation for the numerical proof of the existence of solutions to elliptic problems},
  author = {Kouta Sekine and Mitsuhiro T. Nakao and Shin'ichi Oishi},
  year = {2019},
  doi = {10.1007/s00211-020-01155-7},
  url = {https://arxiv.org/abs/1910.00759},
  note = {Source identifier: 1910.00759}
}