Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited (Q899436)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited |
scientific article; zbMATH DE number 6524434
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited |
scientific article; zbMATH DE number 6524434 |
Statements
Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited (English)
0 references
28 December 2015
0 references
automated conjecturing
0 references
automated conjecture-making
0 references
mathematical discovery
0 references
automated scientific discovery
0 references
Dalmatian heuristic
0 references
0 references
0 references
0 references
0.8202345
0 references
0.8181688
0 references
0.81635725
0 references
0.80833554
0 references
0.8022224
0 references
