Pages that link to "Item:Q1113914"

The following pages link to INGRID: A graph invariant manipulator (Q1113914):

Displaying 7 items.

• Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited (Q899436) (← links)
• A survey of automated conjectures in spectral graph theory (Q962119) (← links)
• Bounds and conjectures for the signless Laplacian index of graphs (Q968999) (← links)
• Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures (Q1422414) (← links)
• Automated conjecturing. III. Property-relations conjectures (Q1688717) (← links)
• Computers and discovery in algebraic graph theory (Q1855400) (← links)
• Automated conjectures on upper bounds for the largest Laplacian eigenvalue of graphs (Q2369038) (← links)