Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers.

Grant Olney Passmore

Published in: CoRR (2015)

Keyphrases

artificial intelligence
data sets
information retrieval
case study
multi agent systems
data model
co occurrence
set theory
databases
real world
learning algorithm
knowledge base
decision procedures
real numbers
algebraic expressions