scientific article; zbMATH DE number 3906548

MaRDI QIDQ3684166zbMATH OpenFDO

Authors Irena Pevac, Dragoš Cvetković

Publication date 1983

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

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

zbMATH Keywords

theorem provergraph theorem

Mathematics Subject Classification ID

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

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

Cited in

(12)

• Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures
• Linear inequalities among graph invariants: Using GraPHedron to uncover optimal relationships
• Computers and discovery in algebraic graph theory
• scientific article; zbMATH DE number 3922016 (Why is no real title available?)
• scientific article; zbMATH DE number 3938595 (Why is no real title available?)
• scientific article; zbMATH DE number 3952769 (Why is no real title available?)
• A knowledge-based system for graph theory demonstrated by partial proofs for graph-colouring problems
• Facet defining inequalities among graph invariants: The system graphedron
• Man-machine theorem proving in graph theory
• scientific article; zbMATH DE number 3845636 (Why is no real title available?)
• scientific article; zbMATH DE number 4081618 (Why is no real title available?)
• scientific article; zbMATH DE number 4074547 (Why is no real title available?)

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)