I see nothing odd in calling that computer science. It seems more like hardcore computer science.
And what then couldn’t be called "hardcore computer science?"
Re:“Computer science is not about computers”
by TuringTest on Sunday May 30, 2021 @08:35AM
(#27332786)
I believe the core difference between comp-sci and other math is in taking into account the efficiency of the representation and/or transformation.
Thus defining the Monster group is discrete mathematics, but not computer science (or not directly). Finding parts of the Monster groups that can be represented and manipulated by computers would be computer science.
[1]: https://en.wikipedia.org/wiki/Monster_group