Multilabeled Versions of Sperner's and Fan's Lemmas and Applications.

Frédéric Meunier Francis Edward Su

Published in: SIAM J. Appl. Algebra Geom. (2019)

Keyphrases

theorem proving
databases
artificial intelligence
machine learning
data structure
data analysis
search procedures