Students learn how to use software for solving mathematical problems. The course focuses on the practical aspects and proficient use of software. The following areas of computerized mathematics are covered (suggested software is listed in parentheses):

analysis (Mathematica, Sage)

discrete mathematics (Mathematica, Sage, Vega, Pajek)

algebra (Mathematica, Sage, Magma, GAP)

topology and geometry (Mathematica, Sage, GeoGebra, various specialized programs for topology invariants)

statistics and financial mathematics (R)

logic (Isabelle, Coq, HOL, Agda)

# Mathematics with computers

Prof. Dr. Andrej Bauer, Prof. Dr. Marko Petkovšek

Uporabniški priročniki za programsko opremo.

User manuals and other documentation for the software at hand.

Introduction to and application of specialized software for doing mathematics.

With individual presentations and team work interactions within seminar/project activities students acquire communication and social competences for successful team work and knowledge transfer.

Knowledge and understanding:

Practical knowledge and use of advanced programs for solving mathematical problems.

Application:

Application of computers in mathematics.

Reflection:

Modern computer technology has become an indispensable tool in mathematics.

Transferable skills:

The emphasis on practical use and applications enables the student to use computers in all other courses.

Lectures, exercises, project course, homeworks, consultations

Type (examination, oral, coursework, project):

course project

project presentation and defense

Grading: 1-5 (fail), 6-10 (pass) (according to the Statute of UL)

Andrej Bauer:

BAUER, Andrej, STONE, Christopher A. RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Journal of logic and computation, ISSN 0955-792X, 2009, vol. 19, no. 1, str. 17-43. [COBISS-SI-ID 15325785]

BAUER, Andrej, CLARKE, Edmund, ZHAO, Xudong. Analytica - An experiment in combining theorem proving and symbolic computation. Journal of automated reasoning, ISSN 0168-7433, 1998, vol. 21, no. 3, str. 295-325. [COBISS-SI-ID 10606425]

BAUER, Andrej, PETKOVŠEK, Marko. Multibasic and mixed hypergeometric Gosper-type algorithms. Journal of symbolic computation, ISSN 0747-7171, 1999, let. 28, št. 4-5, str. 711-736. [COBISS-SI-ID 9210969]

Marko Petkovšek:

PETKOVŠEK, Marko. Symbolic computation with sequences. Programming and computer software, ISSN 0361-7688, 2006, vol. 32, no. 2, str. 65-70. [COBISS-SI-ID 15287129]

PETKOVŠEK, Marko, WILF, Herbert S., ZEILBERGER, Doron. A=B. Wellesley (Massachusetts): A. K. Peters, cop. 1996. VII, 212 str. ISBN 1-56881-063-6. [COBISS-SI-ID 4085337] xii + 212 str. (ISBN 1-56881-063-6)

BAUER, Andrej, PETKOVŠEK, Marko. Multibasic and mixed hypergeometric Gosper-type algorithms. Journal of symbolic computation, ISSN 0747-7171, 1999, let. 28, št. 4-5, str. 711-736. [COBISS-SI-ID 9210969]