zbMATH — the first resource for mathematics

Examples
Sage Search for a specific software package.
geometry & Java Search for software packages with the word 'geometry' in the description which are written in Java. The operator '&' is default and can also be omitted.
13 14 Search for software packages which are cited by articles belonging to the MSC sections 13 and 14.
Brickenstein Gröbner basis Search for software author and keywords.