US high school (HS) students are lagging behind their foreign peers in math performance. It is thus necessary to design teaching modules that motivate US HS students to learn more math and to improve their math skills. Our study set out to test two different software programs designed for the development of such skills. MATLAB Simulink provides a…

Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

The article introduces a software application (MATH) supporting an education of Applied Mathematics, with focus on Numerical Mathematics. The MATH is an easy to use tool supporting various numerical methods calculations with graphical user interface and integrated plotting tool for graphical representation written in Qt with extensive use of Qwt…