A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities.
Peter PauleMarkus SchornPublished in: J. Symb. Comput. (1995)
Keyphrases
- learning algorithm
- detection algorithm
- np hard
- preprocessing
- times faster
- experimental evaluation
- optimization algorithm
- theoretical analysis
- high accuracy
- dynamic programming
- experimental study
- particle swarm optimization
- matching algorithm
- worst case
- search space
- computational complexity
- search algorithm
- optimal solution
- single pass
- path planning
- probabilistic model
- recognition algorithm
- estimation algorithm
- linear programming
- mobile robot
- cost function
- significant improvement
- k means
- objective function