How to select a file by an unknown part of the name?

Question

linux

There are files

doc_check_6971288836.file
doc_check_55463914.file

You need to select such files, the number part of which can be of different lengths, and the numbers are always different and are not known in advance.

Answer 1

ls | grep -E 'doc_check_[0-9]+.file'

Answer 2

ls -la doc_check_*.file