How Computers Discover How Computers Discover ( A mini-review of algorithmic meta-discovery )