A proof of the peak polynomial positivity conjecture.

Alexander Diaz-Lopez Pamela E. Harris Erik Insko Mohamed Omar

Published in: J. Comb. Theory, Ser. A (2017)

Keyphrases

low degree
theorem proving
machine learning
logic programming
proof search
real time
real world
social networks
computer vision
image processing
artificial neural networks
low order
proof theory