Embeddability in the 3-sphere is decidable.

Jirí Matousek Eric Sedgwick Martin Tancer Uli Wagner

Published in: CoRR (2014)

Keyphrases

first order logic
half spaces
unit sphere
transitive closure
data sets
datalog programs
machine learning
np complete
theoretical analysis
expressive power
concept class