A new proof of some discrete inequalities with standard central-difference type operators.

Published in: JSIAM Lett. (2018)

Keyphrases

sufficient conditions
translation invariant
decision trees
search algorithm
finite number
databases
simulated annealing
theorem proving
linear inequalities