Christopher W. Brown 0001, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez. Towards Detection of Partial Truth via Real Geometry. 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 44-53, CEUR-WS.org, 2023. [doi]
Abstract is missing.