A Glimpse at Polynomials with Quantifiers.

Andrey Bovykin Michiel De Smet

Published in: FLAP (2017)

Keyphrases

first order logic
natural language
low order
piecewise polynomial
higher order
implicit polynomial
algebraic geometry
algebraic curves
hermite transform
database
artificial intelligence
computer vision
lagrange interpolation