2 citations · 2 across the 5 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2021
The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
Tatyana Ivanova, Tinko Tinchev
A. Tarski uses in his system for the elementary geometry only the primitive concept of point, and the two primitive relations betweenness and equidistance. Another approach is the…
math.LO2018
A Logic of Strong Contact between Polytopes
Tsvetlin Marinov, Tinko Tinchev
We propose a new contact relation between polytopes. Intuitively, we say that two polytopes are in strong contact if a small enough object can pass from one of them to the other wh…