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