401-3050-64L Student Seminar in Combinatorics: Mathematical Software
Semester | Herbstsemester 2014 |
Dozierende | K. Fukuda |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Lehrveranstaltungen
Nummer | Titel | Umfang | Dozierende | ||||
---|---|---|---|---|---|---|---|
401-3050-00 S | Student Seminar in Combinatorics: Mathematical Software | 2 Std. |
| K. Fukuda |
Katalogdaten
Kurzbeschreibung | In this seminar we study how computer can be used to do rigorous mathematics. More explicitly we will have case studies on how computer programs and systems have been developed and used for mathematics. Since the computer runs on finite resources. writing rigorous mathematical programs is essentially combinatorial mathematics itself. |
Lernziel | The main objective is to learn how rigorous mathematical tools can be made for the purpose of doing mathematics with help of computers. |
Inhalt | In this seminar we study how computer can be used to do rigorous mathematics. More explicitly we will have case studies on how computer programs and systems have been developed and used for mathematics. Since the computer runs on finite resources. writing rigorous mathematical programs is essentially combinatorial mathematics itself. There are two different types of mathematical software: (1) mathematical software systems, such as maple, mathematica and sage, which are general platforms to do mathematics with computers, (2) mathematical software tools (including callable libraries), targeted to deal with a special class of mathematical disciplines or problems, such as linear algebra, graphs, combinatorics, polynomial systems, optimization, polyhedra, geometry, number theory, etc. For our study, we mainly focus on open-source software tools because without source codes it is difficult to learn how to write rigorous mathematical tools. Each student is expected to select one mathematical software tool. The presentation is first to review the basic mathematical concepts and theory that are addressed by the solfware tool. Then he/she gives how the tool can be used to solve or deal with concrete examples with this tool. Most importantly, each presenter understands what it takes to write the software tool. |
Skript | We will have a list of recommended papers for presentation. Typically these papers are available from the website of International Congress of Mathematical Software: Link Link and proceedings: Link . |
Literatur | Here is a document containing articles and scheduling for the seminar: Link (last update on 2014-10-17). It will get updated as the seminar progresses. Please check the revised dates frequently. You can find students' presentation files in Link . Final reports: Link . |
Voraussetzungen / Besonderes | Good knowledge of mathematics and basic programming languages |
Leistungskontrolle
Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird) | |
Leistungskontrolle als Semesterkurs | |
ECTS Kreditpunkte | 4 KP |
Prüfende | K. Fukuda |
Form | unbenotete Semesterleistung |
Prüfungssprache | Englisch |
Repetition | Repetition nur nach erneuter Belegung der Lerneinheit möglich. |
Lernmaterialien
Keine öffentlichen Lernmaterialien verfügbar. | |
Es werden nur die öffentlichen Lernmaterialien aufgeführt. |
Gruppen
Keine Informationen zu Gruppen vorhanden. |
Einschränkungen
Plätze | Maximal 12 |
Warteliste | Bis 05.09.2014 |
Angeboten in
Studiengang | Bereich | Typ | |
---|---|---|---|
Mathematik Bachelor | Seminare | W | |
Mathematik Master | Seminare | W |