These are the small demonstration notebooks to accompany our Nature publication on mathematical conjecture generation for topology and representation theory.