A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL.

Published in: CPP (2015)

Keyphrases

theorem prover
natural deduction
decision making
databases
real world
learning algorithm
website
decision makers
software engineering
real life
decision processes
decision theory
hidden markov models
evolutionary algorithm
database
feature extraction
real time