Entry requirements

120 credits including 60 credits in Mathematics.

Learning outcomes

In order to pass the course the student should be able to

• account for the floating point system at modern computers;
• account for the basic interval analysis;
• use the inclusion principle to verify/falsify mathematical statements;
• implement simple algorithms for computer-aided proofs;
• use technologies for automatic derivation;
• solve problems in optimisation, equation solution and quadrature using validated numerics;
• account for inclusion methods for ordinary differential equations;
• handle software for validated numerics.

Content

The floating point system, rounding- and truncation errors, interval arithmetic, interval analysis, automatic derivation, validated numerics for equation solution, optimisation, quadrature and ordinary differential equations. Applications from chosen fields.

Instruction

Lectures and computer demonstrations.

Assessment

A smaller project work (consisting of theory or computer implementation) where a chosen problem is solved with validated numerics combined with written assignments during the course.