Proofs of conjectures on the Randić index and average eccentricity.

Meili Liang Jianxi Liu

Published in: Discret. Appl. Math. (2016)

Keyphrases

theorem prover
database
indexing method
neural network
artificial intelligence
case study
high dimensional
index structure
standard deviation
computer vision
bayesian networks
evolutionary algorithm
b tree
inference rules
theorem proving