Proof of Schur's Conjecture in ℝ D.

Andrey B. Kupavskii Alexandr Polyanskii

Published in: Comb. (2017)

Keyphrases

theorem proving
special case
proof planning
image processing
artificial neural networks
theorem prover
recommender systems
geometry theorem proving
complete axiomatization
linear logic
interior point methods
data sets
database systems
metadata
artificial intelligence
learning algorithm
neural network