On the computer-aided problem-solving and research Szeged Winter Training 2015 The project is co-financed by the European Union

Szeged Winter Training 2015 Modeling with Mathematica The control of problem-solving (after The control of problem-solving (after Neumann) The problem Library Solutions Knowledge bases Languages Computerized In mind The Mind (Controller)

Szeged Winter Training 2015 Modeling with Mathematica A Scientific Computer System … must help the scientific thinking, research flow. Hence should provide an integrated informatics support (beyond the Office and Google)… …including all steps of scientific exploration.

Szeged Winter Training 2015 Modeling with Mathematica …but … : A Computer System has an own „personality” Own Language + Structures Own rules and working logic Sometimes unusual, strange work Sometimes works with error … Some justification

Szeged Winter Training 2015 Modeling with Mathematica Unified scientific desktop Notebook interface: structured, dynamic platform for scientific work + deployment featuring Programming + Documentation + Publications Dynamic Books, Demonstrations Export to TeX, HTML, …

Szeged Winter Training 2015 Modeling with Mathematica Ultimately: a Scientific Computer System Programming Language + Structures Visualization Desktop, writing Knowledge base (special packages) Web integration Computation …

Szeged Winter Training 2015 Modeling with Mathematica The importance of the Language and Structures The importance of the Language and Structures