The calculus of simplex gradients.

Rommel G. Regis

Published in: Optim. Lett. (2015)

Keyphrases

linear programming
computer algebra
simplex algorithm
formal language
star shaped
simplex method
image gradient
automated deduction
provably correct
real numbers
image processing
neural network
databases
proof procedure
automated theorem proving
natural deduction
data sets
database