scientific article

zbMath0568.05053MaRDI QIDQ3684166

Irena Pevac, Dragos Cvetković

Publication date: 1983

Full work available at URL: https://eudml.org/doc/117902

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem provergraph theorem

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Graph theory (05C99)

Related Items

Man-machine theorem proving in graph theory, Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures, Linear inequalities among graph invariants: Using GraPHedron to uncover optimal relationships, Facet defining inequalities among graph invariants: The system graphedron, Computers and discovery in algebraic graph theory