Deciding first-order formulas involving univariate mixed trigonometric-polynomials.

Rizeng Chen Bican Xia

Published in: ISSAC (2023)

Keyphrases

horn clauses
first order logic
action theories
quantifier free
higher order
real numbers
basis functions
logical formulas
situation calculus
low order
multivariate time series
predicate calculus
quantifier elimination
inference rules
neural network
discrete fourier transform