@misc{indiciae368b5151d920,
  title = {Quantifier Elimination for Normal Cone Computations},
  author = {Michael Mandlmayr and Ali Kemal Uncu},
  year = {2024},
  url = {https://arxiv.org/abs/2402.05579},
  note = {Source identifier: 2402.05579}
}