Faster real root decision algorithm for symmetric polynomials. (English) Zbl 07760791
Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 452-460 (2023).
MSC:
68W30