THE USE OF MATHEMATICAL SOFTWARE …