▶Japanese
Post to SNS
- Home
- > School of Science
- > Mathematics
- > Advanced courses in Geometry A
- School of Science
-
School of Engineering
- Group 2
- Group 3
- Group 4
- Group 5
- Group 6
- Metallurgical Engineering
- Organic and Polymeric Materials
- Inorganic Materials
- Chemical Engineering Course
- Chemical Engineering Course(Chemical Engineering)
- Applied Chemistry Course(Chemical Engineering)
- Polymer Chemistry
- Mechanical Engineering and Science
- Mechanical and Intelligent Systems Engineering
- Mechano-Aerospace Engineering
- International Development Engineering
- Control and Systems Engineering
- Industrial and Systems Engineering
- Electrical and Electronic Engineering
- Computer Science
- Civil Engineering
- Architecture and Building Engineering
- Social Engineering
- Common Cource of Engineering
- School of Bioscience and Biotechnology
- Common Course of Undergraduate School
-
Graduate School of Science and Engineering
- Mathematics
- Physics(Particle- Nuclear- and Astro-Physics)
- Physics(Condensed Matter Physics)
- Chemistry
- Earth and Planetary Sciences
- Chemistry and Materials Science
- Metallurgy and Ceramics Science
- Organic and Polymeric Materials
- Applied Chemistry
- Chemical Engineering
- Common Course of Mechanical Engineering
- Mechanical Sciences and Engineering
- Mechanical and Control Engineering
- Mechanical and Aerospace Engineering
- Common Course of Electronic Engineering
- Electrical and Electronic Engineering
- Physical Electronics
- Communications and Integrated Systems
- Communications and Computer Engineering
- Civil Engineering
- Architecture and Building Engineering
- International Development Engineering
- Nuclear Engineering
- Graduate School of Bioscience and Biotechnology
-
Interdisciplinary Graduate School of Science and Engineering
- Built Environment
- Energy Sciences
- Computational Intelligence and Systems Science
- Electronic Chemistry
- Materials Science and Engineering
- Innovative and Engineered Materials
- Environmental Chemistry and Engineering
- Environmental Science and Technology
- Mechano-Micro Engineering
- Information Processing
- Electronics and Applied Physics
- Graduate School of Information Science and Engineering
- Graduate School of Decision Science and Technology
- Graduate School of Innovation Management
- Common Course of Graduate School
- Program for Leading Graduate Schools
- Academic unit or major
- Mathematics
- Instructor(s)
- Masai Hidetoshi
- Class Format
- Lecture (Face-to-face)
- Media-enhanced courses
- Day/Period(Room No.)
- Fri5-6(M-157(H1102))
- Group
- -
- Course number
- ZUA.B331
- Credits
- 1
- Academic year
- 2023
- Offered quarter
- 1Q
- Syllabus updated
- 2023/4/5
- Lecture notes updated
- -
- Language used
- English
- Access Index
-
Course description and aims
To understand 3-dimensional hyperbolic geometry via computational methods. The main topic of this lecture is so-called verified computation, which enables us to prove mathematical theorems by using numerical computation.
Student learning outcomes
Understand the basics of verified computation.
Keywords
Verified computation, interval arithmetic, Newton's method, fixed point theorems
Competencies that will be developed
| ✔ Specialist skills | Intercultural skills | Communication skills | Critical thinking skills | Practical and/or problem-solving skills |
Class flow
This is a standard lecture course.
Course schedule/Required learning
| Course schedule | Required learning | |
|---|---|---|
| Class 1 | Introduction to python programming | Details will be provided during each class session |
| Class 2 | Floating point arithmetic and Interval arithmetic | Details will be provided during each class session |
| Class 3 | Verified computations on linear algebra I | Details will be provided during each class session |
| Class 4 | Verified computations on linear algebra II | Details will be provided during each class session |
| Class 5 | Verified computations of elementary functions | Details will be provided during each class session |
| Class 6 | Verified computations on non-linear equations I | Details will be provided during each class session |
| Class 7 | Verified computations on non-linear equations II | Details will be provided during each class session |
Out-of-Class Study Time (Preparation and Review)
To enhance effective learning, students are encouraged to spend approximately 100 minutes preparing for class and another 100 minutes reviewing class content afterwards (including assignments) for each class.
They should do so by referring to textbooks and other course material.
Textbook(s)
non required
Reference books, course materials, etc.
・Verification methods: rigorous results using floating-point arithmetic, Siegfried M. Rump
Assessment criteria and methods
Assignments (100%).
Related courses
- MTH.C201 ： Introduction to Analysis I
- MTH.A211 ： Advanced Linear Algebra I
Prerequisites (i.e., required knowledge, skills, courses, etc.)
Undergraduate-level knowledge of Calculus and Linear Algebra
