Pages that link to "Item:Q899436"
From MaRDI portal
The following pages link to Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited (Q899436):
Displaying 6 items.
- Automated conjecturing. III. Property-relations conjectures (Q1688717) (← links)
- Zeta types and Tannakian symbols as a method for representing mathematical knowledge (Q2364677) (← links)
- On the notion of interestingness in automated mathematical discovery (Q4800421) (← links)
- Automated Conjecturing II: Chomp and Reasoned Game Play (Q5114790) (← links)
- Bootstrap percolation via automated conjecturing (Q5881012) (← links)
- On a conjecture of \textit{TxGraffiti}: relating zero forcing and vertex covers in graphs (Q6633544) (← links)