Towards Detection of Partial Truth via Real Geometry. - Christopher W. Brown 001; Zoltán Kovács; Simone Luksch; Tomás Recio; Róbert Vajda; M. Pilar Vélez (SC-Square@ISSAC, 2023)