Computer algebra (algorithms, systems and applications), Information Modeling.