Elements for next-generation MMA'sinclude: * Declarative Languages for Problem Solution: education in applied sciences and in engineering is mainly concerned with problems, which involve operations on elementary objects to be transformed to an object representing a problem solution.