Recent Progress in Proof Mining in Nonlinear Analysis.

Ulrich Kohlenbach

Published in: FLAP (2017)

Keyphrases

recent progress
text mining
data mining
information systems
image processing
knowledge discovery
decision making
data analysis
statistical analysis
sequential patterns
future directions
quantitative analysis
sequential pattern mining