INGRID
From MaRDI portal
Software:13815
No author found.
Related Items (15)
Sharp bounds on the order, size, and stability number of graphs ⋮ Automated conjectures on upper bounds for the largest Laplacian eigenvalue of graphs ⋮ A compilation of relations between graph invariants—supplement I ⋮ Unnamed Item ⋮ INGRID: A graph invariant manipulator ⋮ Automated conjecturing. III. Property-relations conjectures ⋮ Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited ⋮ Linear inequalities among graph invariants: Using GraPHedron to uncover optimal relationships ⋮ Unnamed Item ⋮ A survey of automated conjectures in spectral graph theory ⋮ Bounds and conjectures for the signless Laplacian index of graphs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Upper bounds on the edge clique cover number of a graph ⋮ Computers and discovery in algebraic graph theory
This page was built for software: INGRID
