@misc{indiciae620e8253e72f,
  title = {The Dual of Quantifier Elimination: Boolean Elimination over C and R},
  author = {Matthew Frank},
  year = {2025},
  url = {https://arxiv.org/abs/2511.20743},
  note = {Source identifier: 2511.20743}
}