Multilabeled versions of Sperner's and Fan's lemmas and applications.

Frédéric Meunier Francis Edward Su

Published in: CoRR (2018)

Keyphrases

theorem prover
theorem proving
real world
genetic algorithm
feature extraction
multiple versions
feature selection