# Detecting truth, just on parts

arXiv: https://arxiv.org/abs/1802.05875 · HTML: https://mlsanity.com/paper/1802.05875/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 16 Feb 2018.

## Built on by (most cited first, 1 of 1)

- [Open Geometry Prover Community Project](https://mlsanity.com/paper/2201.01375/) (2022)

## Abstract (arXiv)

We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances. A rigorous, algorithmic criterion is presented for detecting such cases, and its performance is exemplified through the implementation of this test on the dynamic geometry program GeoGebra.