A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL.

Wenda Li Grant Olney Passmore Lawrence C. Paulson

Published in: CoRR (2015)

Keyphrases

theorem prover
decision makers
decision problems
machine learning
computer vision
benchmark problems
neural network
decision making
website
optimization problems
natural deduction