Concrete barriers to quantifier elimination in finite dimensional C*-algebras.
Christopher J. EagleTodd SchmidPublished in: Math. Log. Q. (2019)
Keyphrases
- finite dimensional
- quantifier elimination
- infinite dimensional
- constraint propagation
- cardinality constraints
- higher dimensional
- functional programming
- constraint databases
- euclidean space
- first order logic
- vector space
- boolean algebra
- numerical solution
- convex sets
- low dimensional
- reproducing kernel hilbert space
- constraint satisfaction problems
- temporal reasoning
- machine learning