The following pages link to (Q3315555):
Displaying 7 items.
- Facet defining inequalities among graph invariants: The system graphedron (Q944740) (← links)
- A survey of automated conjectures in spectral graph theory (Q962119) (← links)
- Man-machine theorem proving in graph theory (Q1104124) (← links)
- Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures (Q1422414) (← links)
- Computers and discovery in algebraic graph theory (Q1855400) (← links)
- A graph library for Isabelle (Q2018659) (← links)
- Results obtained by a knowledge-based system for graph theory (Q3976797) (← links)