Elements for next-generation MMA's include: * Declarative Languages for Problem Solution: education in appliedsciences and in engineering is mainly concerned with problems, whichare understood as operations on elementary objects to be transformedto an object representing a problem solution.