Room 515, Cosmology Building, NTU
Speaker(s):
Hsin-Po Wang (University of California, Berkeley)
Organizer(s):
Mao-Pei Tsui (National Taiwan University)
電腦與數學 Computer and Math
Lecturer: Hsin-Po Wang (University of California, Berkeley)
Time:
Lecture I: June 26 (Mon.) 14:00 - 15:00
Lecture II: June 30 (Fri.) 14:00 - 15:00
Lecture III: July 7 (Fri.) 14:00 - 15:00
Registration: Click for Registration
Venue: R515, Cosmology Bldg., NTU
Organizer: Mao-Pei Tsui (NTU)
Lecture Titles and Abstract
Lecture I: 電腦與數學（一）: 用電腦證明定理 Computer and Math I: Proving Theorems on a Computer
Abstract: In this talk, we explore rigorous computer-assisted theorem proving, leveraging human-computer collaboration to prove inequalities. Examples from the speaker's concurrent works at IEEE ISIT highlight applications in solving ODEs and control theory.
Lecture II: 電腦與數學（二）：電腦如何做符號計算 Computer and Math II: How a Computer Manipulates Mathematical Symbols
Abstract: In this talk, we explore key components of a computer algebra system (CAS) for proving inequalities, including symbolic differentiation, interval arithmetic, real algebraic geometry, and root-finding algorithms. We discuss how CAS advances mathematics and inspires new mathematical challenges.
Lecture III: 電腦與數學（三）：數學家的生產力工具 Computer and Math III: Productivity Tools for the Working Mathematician
Abstract: In this 50 minute talk, we will spend 10 minutes on each of the following five topics: VS Code, Jupyter, SageMath, Git, Vim.
Contact:
Lucy Chang (shunwen.chang@ncts.tw) TEL: 02-3366-8811
Poster: events_3_2306060750121987.pdf
