scientific article

From MaRDI portal

Publication:3315555

Jump to:navigation, search

zbMath0533.05058MaRDI QIDQ3315555

Dragos Cvetković

Publication date: 1984

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

zbMATH Keywords

natural language processing computing graph problems interactive programming system

Mathematics Subject Classification ID

Graph theory (05C99) Software, source code, etc. for problems pertaining to combinatorics (05-04)

Related Items

Man-machine theorem proving in graph theory ⋮ Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures ⋮ Facet defining inequalities among graph invariants: The system graphedron ⋮ A survey of automated conjectures in spectral graph theory ⋮ Computers and discovery in algebraic graph theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3315555&oldid=16544319"