Pages that link to "Item:Q4800421"
From MaRDI portal
The following pages link to On the notion of interestingness in automated mathematical discovery (Q4800421):
Displaying 7 items.
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited (Q899436) (← links)
- Automated detection of interesting properties in regular polygons (Q1995811) (← links)
- Mathematical applications of inductive logic programming (Q2433178) (← links)
- Automated conjecture making in number theory using HR, Otter and Maple (Q2456561) (← links)
- ON THE ROLE OF INTERPRETABILITY IN FUZZY DATA MINING (Q3498257) (← links)
- The Crystallizing Substochastic Sequential Machine Extractor: CrySSMEx (Q5488510) (← links)
- Discovering Geometry Theorems in Regular Polygons (Q6108821) (← links)