Extracting Algorithms from Intuitionistic Proofs.
Fernando FerreiraAntónio MarquesPublished in: Math. Log. Q. (1998)
Keyphrases
- computationally expensive
- theoretical analysis
- optimization problems
- times faster
- data structure
- worst case
- theorem prover
- recently developed
- machine learning algorithms
- computationally efficient
- neural network
- probabilistic model
- reinforcement learning
- image processing
- feature selection
- search engine
- learning algorithm