@misc{indiciae45a10a0da557,
  title = {Steffen's flexible polyhedron is embedded. A proof via symbolic computations},
  author = {Victor Alexandrov and Evgenii Volokitin},
  year = {2025},
  url = {https://arxiv.org/abs/2508.02392},
  note = {Source identifier: 2508.02392}
}