Conception

ISAC's features lead to flexible systems which will advance into science education. For instance, the first Figure shows a problem solution of an engineer for a Z Transform in Sig- nalprocessing,



and the second Figure shows the same calculation in stepwise constructing a partial fraction decomposition.



For Developers of Mathematics Knowledge is important to know, that he needs not to consider user-interactions (this is done by ISACs method interpreter and dialog component), and he needs not to bother with 'programming': all math knowledge within ISAC is described in the high-order language of the theoremprover Isabelle, which gives formulae very close to traditional mathematical notation for: theorems, problem(-types like types of equations with specific predicates), methods (solving types of problems).