Embeddability in the 3-sphere is decidable.

Jirí Matousek Eric Sedgwick Martin Tancer Uli Wagner

Published in: SoCG (2014)

Keyphrases

first order logic
half spaces
unit sphere
transitive closure
concept class
datalog programs
support vector
search algorithm
active learning
upper bound
concept classes
function symbols