I019 Computer Algebra Systems

Faculty of Informatics
Spring 1996
Extent and Intensity
0/0. 2 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
Teacher(s)
prof. RNDr. Jiří Hřebíček, CSc. (lecturer)
Guaranteed by
Contact Person: prof. RNDr. Jiří Hřebíček, CSc.
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Syllabus
  • Brief description of computer algebra. Present and little history of computer algebra systems (CAS). Special purpose systems and general purpose systems. Systems REDUCE, MACSYMA, DERIVE, MATCAD, Maple, Mathematica, AXIOM, etc and their history. Main properties of CAS. Advantages and limitations of CAS in scientific computing.
  • General principles of CAS design and development, their implementation on different platforms, using computer graphics and scientific vizualisation. Design of Maple (user interface - Iris, basic algebraic engine- kernel, external and share library, programming language).
  • Maple categories of basic CAS objects. Maple names and statements, composite data types, assume facility, simplification.
  • Programming in Maple (structure of programming language, protected names, global and system variables, a single algebraic expression, an array of algebraic expressions, operators for forming expressions, sets, sequence, lists, arrays, tables, functions and procedures, libraries of functions).
  • Basic inner representation of function and main principles of manipulations with expressions. Polynomials and rational functions and manipulations with their expressions. Mathematical functions. Differentiation, integration, summation, limits and series. Solving equations, solving ODE and PDE.
  • Using CAS for education and research. Scientific computing and mathematical modelling (problem setting and formulation of its mathematical model, scientific evaluation and its visualisation, analysis of result interpretations and a verification of solution).
  • Practical examples of using Maple.
Language of instruction
Czech
The course is also listed under the following terms Spring 1997, Spring 1998, Spring 1999, Spring 2000, Spring 2001, Spring 2002.
  • Enrolment Statistics (Spring 1996, recent)
  • Permalink: https://is.muni.cz/course/fi/spring1996/I019