In SharePoint 2013,
you can search documents within the document library which is a new feature
introduced in the document library. Go to the document library you can find a
search box in the top and you can search the documents within that library
which would be very useful to get the required document. You can search the
documents without page refresh or redirection to any other search page.