IANAM but I guess the name for mining OEIS or generating scads of data iteratively for analysis would be empirical mathematics. It's empirical metamathematics

IANAM but I guess the name for mining OEIS or generating scads of data iteratively for analysis would be empirical mathematics. It's empirical metamathematics if you attempt this with networks of axioms/theories https://www.wolframscience.com/metamathematics/empirical-metamathematics/ https://www.wolframscience.com/metamathematics/empirical-met... https://writings.stephenwolfram.com/2020/09/the-empirical-metamathematics-of-euclid-and-beyond/ https://writings.stephenwolfram.com/2020/09/the-empirical-me...