Automatically proving mathematical theorems with evolutionary algorithms and proof assistants.
Li-An YangJui-Pin LiuChao-Hong ChenYing-Ping ChenPublished in: CEC (2016)
Keyphrases
- evolutionary algorithm
- multi objective
- optimization problems
- differential evolution algorithm
- mathematical proofs
- differential evolution
- automatically generated
- simulated annealing
- evolutionary computation
- genetic programming
- fitness function
- mutation operator
- automated theorem provers
- multi objective optimization
- mathematical models
- evolution strategy
- fuzzy logic
- constrained optimization problems
- video sequences
- machine learning
- nsga ii
- evolvable hardware
- mathematical knowledge