A Delsarte-Style Proof of the Bukh-Cox Bound.

Mark Magsino Dustin G. Mixon Hans Parshall

Published in: CoRR (2019)

Keyphrases

upper bound
lower bound
regression model
worst case
theorem proving
regression analysis
database
data structure
error bounds
theorem prover
geometry theorem proving
real time
proof theory