Formalization of some central theorems in combinatorics of finite sets.

Abhishek Kr Singh

Published in: LPAR (Short Presentations) (2017)

Keyphrases

finite sets
piecewise linear
linearly separable
positive and negative examples
decision trees
prior knowledge
text classification