電腦與數學專題演講Computer and Math Talks
演講人: Hsin-Po Wang 王新博 博士 (University of California, Berkeley)
地點: 台灣大學次震宇宙館 R515 (R515, Cosmology Bldg. NTU)
時間與主題: 
Talk I: 2023. 06. 26 (Mon.) 14:00 - 15:00
Title: 電腦與數學（一）：用電腦證明定理 Computer and Math I: Proving Theorems on a Computer

Talk II: 2023.06.30 (Fri.) 14:00 - 15:00
Title: 電腦與數學（二）：電腦如何做符號計算 Computer and Math II: How a Computer Manipulates Mathematical Symbols

Talk III: 2023.07.07 (Fri.) 14:00 -15:00
Title: 電腦與數學（三）：數學家的生產力工具 Computer and Math III: Productivity Tools for the Working Mathematician

Sign in to Google to save your progress. Learn more
Email Address *
姓名 (Your Name) *
就讀學校或服務機關 (Affiliation) *
職稱 (Job Title) *
預計報名報名參加演講場次 (可複選) Please fill-in the talk that you would like to join *
Required
Submit
Clear form
Never submit passwords through Google Forms.
This form was created inside of National Center for Theoretical Sciecnes. Report Abuse
Google Forms