Proof of a supercongruence via the Wilf-Zeilberger method.
Guo-Shuai MaoPublished in: J. Symb. Comput. (2021)
Keyphrases
- detection algorithm
- detection method
- high precision
- significant improvement
- computational cost
- image sequences
- fully automatic
- mathematical model
- experimental study
- error rate
- input data
- edge detection
- experimental evaluation
- prior knowledge
- preprocessing
- objective function
- classification accuracy
- theoretical analysis
- main contribution
- cost function
- color images
- pairwise
- data sets
- evaluation method
- theorem prover