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). Alternate Types of Completion: k (colloquium), z (credit).
Teacher(s)
prof. RNDr. Jiří Hřebíček, CSc. (lecturer)
Supervisor
doc. PhDr. Karel Pala, CSc.
Department of Information Technologies - Faculty of Informatics
Contact Person: prof. RNDr. Jiří Hřebíček, CSc.
Course Enrollment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
Fields of study 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 80-7157-117-2. info
  • GANDER, W. and Jiří HŘEBÍČEK. Solving Prolems in Scientific Computing Using Maple and MATLAB. (Solving Prolems in Scientific Computing Using Maple and MATLAB.). 3. vyd. Heidelberg: Springer Verlag, 1997. 408 pp. ISBN 3-540-61793-0. info
  • HECK, André. Introduction to maple. 2nd ed. New York: Springer-Verlag, 1996. xvii, 699. ISBN 0-387-94535-0. info
  • HŘEBÍČEK, Jiří, Tomáš PITNER and J. BUCHAR. Computational Simulation Using Maple. (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 s. ISBN 0-387-94537-7. info
Assessment methods (v češtině)
ústní zkouška během semestru jsou vyžadovány domácí práce na závěr projekt
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.
  • Enrollment Statistics (Spring 2000, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2000/I019

Other references: 

Go to top | Current date and time: 19. 5. 2013 00:02, Week 20 (even)

Contact: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, Office for Studies, access rights administrators, is-technicians, e-technicians, IT support | learn more about Information System