scientific article; zbMATH DE number 3906548

zbMATH Open0568.05053MaRDI QIDQ3684166FDOQ3684166

Authors: Irena Pevac, Dragoš Cvetković 

Publication date: 1983

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Title of this publication is not available (Why is that?)

Recommendations

• Man-machine theorem proving in graph theory
• scientific article; zbMATH DE number 3845636
• scientific article; zbMATH DE number 4081618
• scientific article; zbMATH DE number 3952769
• scientific article; zbMATH DE number 3922016

zbMATH Keywords

theorem provergraph theorem

Mathematics Subject Classification ID

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

Cited In (12)

• Man-machine theorem proving in graph theory
• Linear inequalities among graph invariants: Using GraPHedron to uncover optimal relationships
• Computers and discovery in algebraic graph theory
• Facet defining inequalities among graph invariants: The system graphedron
• Title not available (Why is that?)
• A knowledge-based system for graph theory demonstrated by partial proofs for graph-colouring problems
• Title not available (Why is that?)
• Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3684166)