algebraic and symbolic computations; commercial
