Login / Signup
Simple Algebraic Proofs of Uniqueness for Erdős-Ko-Rado Theorems.
Yuval Filmus
Nathan Lindzey
Published in:
CoRR (2022)
Keyphrases
</>
theorem proving
information systems
decision making
image segmentation
artificial neural networks
theorem prover
mathematical theory