An application of proof mining to nonlinear iterations.

Laurentiu Leustean

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

text mining
pattern mining
association rule mining
knowledge discovery
software repositories
mining algorithm
neural network
clustering algorithm
image processing
frequent itemsets
social networks
frequent patterns
sequential patterns
data mining
theorem prover
data mining tasks
piecewise linear
databases