If by indexing you mean, "are citations for a particular piece of software trackable", the answer is "yes, they can be".
Indexing requires identifiers
The key to indexing is to give your piece of data - software, papers, whatever - a persistent unique identifier. This identifier is traceable back to a particular version of something, e.g., a specific data file or a particular release of the code, or a corrected paper. One example of this unique identifier is a Digital Object Identifier or DOI.
Until recently, typically only journal papers published by larger journals were given a DOI. In the last few years organisations such as Zenodo.org have started to set up the infrastructure to assign DOIs to other digital works, including software. This means that any piece of software can have a DOI and is potentially indexed. See e.g., this search on Zenodo for a list of software.
From that list of software I clicked on a totally arbitrary result that I'll use for the rest of this answer.
The DOI of the software is 10.5281/zenodo.2585902. This DOI can be resolved using the https://doi.org/ service. Or, I can link to https://doi.org/10.5281/zenodo.2585902 and I will be redirected to the source code immediately.
Identifiers can be cited
Once a digital object has a DOI, it can be cited.
On the Zenodo page for my example software I can download a citation in a Bibtex format:
@software{tanlabcode_2019_2585902,
author = {tanlabcode and
software-github},
title = {software-github/SCRABBLE: make it suitable on CRAN},
month = mar,
year = 2019,
publisher = {Zenodo},
version = {0.0.1.1},
doi = {10.5281/zenodo.2585902},
url = {https://doi.org/10.5281/zenodo.2585902}
}
Zenodo also generates citations in other formats like Mendeley, CiteULike, and others.
I can now include that citation in a paper. It is crucial that
the reference list includes the DOI so that the citations can be tracked.
We should also note that citing the first research paper where a piece of software is mentioned is not the same as citing the code, especially as the code will change over time. The great thing about a DOI from Zenodo or JOSS is that you can cite a specific version of the code directly.
Citations can be tracked
At the bottom of the Zenodo page for the software you’ll see a box listing citations for this publication. This is based on exchanging citation data (references to the DOI) with other services. Together these services cover much of the international publishing community and data repositories. It can take a week or two, but usually citations show up.
Another important tool is crossref.org which keeps track of all uses of a DOI. I can search the metadata index for that DOI. Unfortunately the random piece of software I chose has no citations yet :(
As mentioned by @moinmoin the process has been streamlined a bit by the Journal of Open Source Software (JOSS).
DOIs in indices
Although software and other digital objects can be indexed, this does not mean that they are. As pointed out before, Google Scholar is one of the few that seems to do this; Web of Science and others don't appear to include non-traditional DOIs at this time.
You should expect increasing indexing (and awareness) of non-article DOIs in the next few years as employers and authors see the benefit of being able to track non-journal publications, such as data sets, software, and other digital products. It gives everyone involved much more recognition than would be possible with traditional papers.
What SageMath should do
Let's look at your example, SageMath.
- They should check their software into Zenodo or submit it to JOSS. They would then get a DOI.
- They include the DOI prominently on their web pages.
- they update the DOI with each new released version of their code
- Users of SageMath should then be encouraged to cite that DOI.
- Usage of SageMath can then be tracked through CrossRef.