Martin Brain, Jacob M. Howe. Widening for Systems of Two Variables Per Inequality. In Erika Ábrahám, Thomas Sturm 0001, editors, Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023. Volume 3455 of CEUR Workshop Proceedings, pages 11-28, CEUR-WS.org, 2023. [doi]
Abstract is missing.