mlsanityData to 14 Oct 2026

Detecting truth, just on parts

arXiv 1802.05875 ↗First posted 16 Feb 2018cs.AIcited by 1

Not on the map. Why?

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.

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

Builds on

No reference list yet.

Built on by

Cited by year

Citing papers per year: 2022: 1.

1 paper.

  1. 2022Open Geometry Prover Community Projectcited by 1