On One Method of Proving Inequalities in Automated Way.
Pavel PechPublished in: Automated Deduction in Geometry (2010)
Keyphrases
- fully automatic
- objective function
- optimization algorithm
- high precision
- detection method
- evaluation method
- preprocessing
- segmentation method
- feature vectors
- prior knowledge
- experimental evaluation
- neural network
- clustering method
- support vector machine
- computationally efficient
- sufficient conditions
- simulated annealing
- dynamic programming
- pairwise
- computational complexity
- training data
- similarity measure