I019 Computer Algebra Systems

Faculty of Informatics
Spring 2000
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). 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
prof. PhDr. Karel Pala, CSc.
Department of Machine Learning and Data Processing – Faculty of Informatics
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
  • Short description of computer algebra systems (CAS). History of CAS. Special purpose systems and general purpose systems.
  • CAS 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.
Literature
  • BUCHAR, Jaroslav. Úvod do programového souboru MAPLE V. Vyd. 1. Brno: Vysoká škola zemědělská, 1994, 83 s. ISBN 8071571172. info
  • GANDER, W. and Jiří HŘEBÍČEK. Solving Prolems in Scientific Computing Using Maple and MATLAB. 3rd ed. Heidelberg: Springer Verlag, 1997, 408 pp. ISBN 3-540-61793-0. info
  • HECK, André. Introduction to maple. 2nd ed. New York: Springer, 1996, xx, 699. ISBN 0387945350. info
  • HŘEBÍČEK, Jiří, Tomáš PITNER and J. BUCHAR. Computational Simulation Using Maple. In Proceedings International Summer School Computer. Bratislava: Slovak University of Technology Bratislava, 1997, p. 98-106. ISBN 80-227-0978-8. info
  • MONAGAN, M. B. Maple V : programming guide. Edited by J. S. Devitt. New York: Springer-Verlag, 1996, xii, 379. ISBN 0387945377. info
Assessment methods (in Czech)
ústní zkouška během semestru jsou vyžadovány domácí práce na závěr projekt
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is taught: every week.
The course is also listed under the following terms Spring 1996, Spring 1997, Spring 1998, Spring 1999, Spring 2001, Spring 2002.
  • Enrolment Statistics (Spring 2000, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2000/I019