Tverberg-Type Theorems for Matroids: A Counterexample and a Proof.

Pavle V. M. Blagojevic Albert Haase Günter M. Ziegler

Published in: Comb. (2019)

Keyphrases

clustering algorithm
model checking
formal verification
real time
data mining
website
theorem prover
theorem proving
independent set