Automated conjecturing. III. Property-relations conjectures
type: Item
instance of: scholarly article
title: Automated conjecturing. III. Property-relations conjectures
zbMATH Open document ID: 1379.68275
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2018-01-11T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 05C45
Mathematics Subject Classification ID: 05C69
zbMATH DE Number: 6824753
zbMATH Keywords: automated conjecturing
zbMATH Keywords: automated mathematical discovery
zbMATH Keywords: property-relations conjectures
author: Craig E. Larson
author: Nico Van Cleemput
describes a project that uses: AutoGraphiX
describes a project that uses: GRAPH
describes a project that uses: HR
describes a project that uses: INGRID
describes a project that uses: GRAFFITI
describes a project that uses: OTTER
describes a project that uses: GraPHedron
MaRDI profile type: Publication
full work available at URL: s10472-017-9559-5
OpenAlex ID: W2738258633
cites work: AutoGraphiX: a survey
cites work: Q5477970
cites work: Q4444454
cites work: Q3318779
cites work: Variable neighborhood search for extremal graphs. I: The AutoGraphiX system
cites work: Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures
cites work: Linear inequalities among graph invariants: Using GraPHedron to uncover optimal relationships
cites work: A note on Hamiltonian circuits
cites work: Q4233444
cites work: Q3006508
cites work: Automated conjecture making in number theory using HR, Otter and Maple
cites work: Even-hole-free graphs. I: Decomposition theorem
cites work: Q3938537
cites work: Q3510980
cites work: INGRID: A graph invariant manipulator
cites work: Q4871155
cites work: On the residue of a graph
cites work: A Curious Nim-Type Game
cites work: Updating the hamiltonian problem—A survey
cites work: Advances on the Hamiltonian problem -- a survey
cites work: Independence and the Havel-Hakimi residue
cites work: Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
cites work: Solution of the Robbins problem
cites work: Facet defining inequalities among graph invariants: The system graphedron
cites work: Heuristic Problem Solving: The Next Advance in Operations Research
cites work: Hamilton cycles and eigenvalues of graphs
cites work: Toward Mechanical Mathematics
cites work: Towards computerized proofs of identities
Wikidata QID: Q122982473
DOI: 10.1007/S10472-017-9559-5
description: scientific article; zbMATH DE number 6824753