Automated conjecturing III

descriptionPublicationkeyboard_double_arrow_right Article 19 Jul 2017 English Publisher:Springer Science and Business Media LLCJournal:Annals of Mathematics and Artificial Intelligence, volume 81, pages 315-327 (issn: 1012-2443, eissn: 1573-7470,

Copyright policy )

Authors: Craig E. Larson; Nicolas Van Cleemput;

doi: 10.1007/s10472-017-9559-5

Automated conjecturing III

- Summary
- Subjects
- Metrics

Abstract

zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Related Organizations

Virginia Commonwealth University
United States
Ghent University
Belgium

Keywords

Eulerian and Hamiltonian graphs, Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.), property-relations conjectures, automated mathematical discovery, Theorem proving (deduction, resolution, etc.), automated conjecturing

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	5
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average