Pages that link to "Item:Q1688717"
From MaRDI portal
The following pages link to Automated conjecturing. III. Property-relations conjectures (Q1688717):
Displaying 4 items.
- Automated generation of conjectures on forbidden subgraph characterization (Q741737) (← links)
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited (Q899436) (← links)
- On the notion of interestingness in automated mathematical discovery (Q4800421) (← links)
- Bootstrap percolation via automated conjecturing (Q5881012) (← links)