Login / Signup
Connectedness in Structures on the Real numbers: O-Minimality and Undecidability.
Alfred Dolich
Chris Miller
Alex Savatovsky
Athipat Thamrongthanyalak
Published in:
J. Symb. Log. (2022)
Keyphrases
</>
real numbers
interval arithmetic
description logics
fuzzy numbers
arithmetic operations
constraint solver
connected components
linear inequalities
partial order
computer vision
linear programming
integrity constraints
query evaluation