A non-analytic proof of the Newman - Znám result for disjoint covering systems.

Marc A. Berger Alexander Felzenbaum Aviezri S. Fraenkel

Published in: Comb. (1986)

Keyphrases

pairwise
complex systems
formal proof
state space
computer systems
systems require
real world
information retrieval
computer vision
multiscale
multi agent systems
management system
rough sets
complex networks
theorem prover
computing systems