Navigation

13M081SIMB - Symbolic Algebra

Course specification
Course title Symbolic Algebra
Acronym 13M081SIMB
Study programme Electrical Engineering and Computing
Module Applied Mathematics
Type of study master academic studies
Lecturer (for classes)
Lecturer/Associate (for practice)
    Lecturer/Associate (for OTC)
      ESPB 6.0 Status elective
      Condition Mathematics 1 (OO1MM1), Mathematics 2 (OO1MM2)
      The goal Introducing students with basic concepts of symbolic-numeric computation related to the system of polynomial equations and pseudo-inverse matrices with application in electrical engineering and computer science.
      The outcome Students are able to apply algorithms of symbolic algebra based on Groebner basis of polynomial ideals and theory of pseudo-inverse matrices.
      Contents
      Contents of lectures General problem of symbolic-numeric computation in mathematics. Computer algebra systems and solving systems of polynomial equations.Groebner basis and Buchberger’s algorithm. Applications of Groebner’s bases on the solvability of system, computer graphics and robotics. Theory of pseudo-inverses matrices. See theoretical contents at http://simba.etf.rs/
      Contents of exercises Through examples, tasks and problems student learns how to apply theorems and basic concepts that are learnt through theoretical contents. Especially students are prepared how to solve problems that are occurring in computer science and technique.
      Literature
      1. D.A. Cox, J.B. Little, D. O'Shea: Ideals, Varieties, and Algorithms - An Introduction to Computational Algebraic Geometry and Commutative Algebra, Springer 3rd ed. 2007.
      2. G.V. Milovanović, P.S. Stanimirović: Symbolic implementation of the nonlinear optimization, PMF Niš 2002.
      3. R. Karp: Great Algorithms, CS Cousre 294-5, spring 2006, Berkeley (http://www.cs.berkeley.edu/~karp/greatalgo/)
      4. K. Geddes, S. Czapor, G. Labahn: Algorithms for Computer Algebra, Kluwer, Boston, MA, 1992.
      Number of hours per week during the semester/trimester/year
      Lectures Exercises OTC Study and Research Other classes
      3 1
      Methods of teaching Combination of traditional presentation on blackboard, slides, free mathematical software (SAGE, SymPy) communication with students through internet and individual work with students while working on home work tasks, and explanation of current topics.
      Knowledge score (maximum points 100)
      Pre obligations Points Final exam Points
      Activites during lectures 0 Test paper 50
      Practical lessons 0 Oral examination 0
      Projects
      Colloquia 0
      Seminars 50