Login / Signup
Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems.
Anthony Narkawicz
César A. Muñoz
Aaron Dutle
Published in:
J. Autom. Reason. (2015)
Keyphrases
</>
decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
satisfiability problem
quantified boolean formulas
relational databases
presburger arithmetic
data sets
inference rules
knowledge representation
special case
data analysis
database systems
knowledge base