Application of Generic Programming to Unsolved Mathematical Problems. - Keito Tanemura; Yuuki Tachibana; Yuki Tokuni; Hikaru Manabe; Ryohei Miyadera (GCCE, 2022)