Simple proofs of estimations of Ramsey numbers and of discrepancy.

A. Buchaev A. Skopenkov

Published in: CoRR (2021)

Keyphrases

multimedia
theorem prover
data sets
neural network
machine learning
feature selection
feature extraction
search algorithm