Validated Numerics
10 credits
Syllabus, Master's level, 1MA227
This course has been discontinued.
A revised version of the syllabus is available.
- Code
- 1MA227
- Education cycle
- Second cycle
- Main field(s) of study and in-depth level
- Mathematics A1N
- Grading system
- Fail (U), Pass (3), Pass with credit (4), Pass with distinction (5)
- Finalised by
- The Faculty Board of Science and Technology, 21 March 2013
- Responsible department
- Department of Mathematics
Entry requirements
120 credits including 60 credits in Mathematics. Scientific Computing or corresponding courses.
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.