@wikipedia
A piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical problem.