Recently, Araujo and De la Pe~na [1] gave bounds for the connectivity index of chemical trees as a function of this index for general trees and the ramification index of trees. They also gave bounds for the connectivity index of chemical graphs as a function of this index for maximal subgraphs which are trees and the cyclomatic number of the graphs. The ramification index of a tree is first shown to be equal to the number of pending vertices minus 2. Then, in view of extremal graphs obtained with the system AutoGraphiX, all bounds of Araujo and De la Pe\~na [1] are improved, yielding tight bounds, and in one case corrected. Moreover, chemical trees of given order and number of pending vertices with minimum and with maximum connectivity index are characterized.

We survey computers systems which help to obtain and sometimes provide automatically conjectures and refutations in algebraic graph theory.