An algebraic-combinatorial proof technique for the GM-MDS conjecture.

Anoosheh Heidarzadeh Alex Sprintson

Published in: ISIT (2017)

Keyphrases

multidimensional scaling
neural network
multi dimensional scaling
theorem proving
grey model
proof planning
linear logic
theorem prover
pattern recognition
feature space
data sets
case study
knowledge base
feature selection
learning algorithm
machine learning
databases