@misc{indiciae642905c51308,
  title = {An algorithmic construction of Nullstellensatz certificates for graph automorphism groups},
  author = {Ivan Drecun},
  year = {2026},
  url = {https://arxiv.org/abs/2610.28928},
  note = {Source identifier: 2610.28928}
}