An Algebraic-Combinatorial Proof Technique for the GM-MDS Conjecture.

Anoosheh Heidarzadeh Alex Sprintson

Published in: CoRR (2017)

Keyphrases

multidimensional scaling
data sets
theorem prover
theorem proving
databases
linear logic
multi dimensional scaling
grey model
multiscale
mathematical proofs
search algorithm
control system
support vector machine
natural deduction
grey theory