[English]

Mapleチュートリアル : コンピューターによる測地線の幾何学 場所： 首都大学東京, 数理科学コース 日程： 2005年10月11日(火) -- 10月12日(水)

目的： Mapleを使って幾何学的なオブジェクトを計算する方法について入門的なチュートリアルを行います。 コンピューター実習がメインです。 チュートリアルは学部学生や大学院生、さらにこの分野に興味のある全ての人を対象としています。 参加登録を行った人にはMapleがインストールされたコンピューターが用意されます。 Mapleを使った経験が有ることが望ましいですが、必ずしも必要ではありません。

Survey talk by Robert Sinclair: Title: "Experimental Mathematics"

Abstract: The richness of pure mathematics guarantees an endless source of open problems. These lead to conjectures and finally proofs via a bewildering variety of methods, limited only by experience, insight and intuition. Some of these many paths to proof lead through extensive experimentation before reaching their goal. Others begin with a new insight gained by examining a small number of examples in great detail. Even a single clearly worked through example of what form a final proof might take can provide the necessary motivation for a pure mathematician to proceed. In this talk, I will give a number of examples of the interaction between experimental and pure mathematics in mathematical physics, global differential geometry, topology and algebra.

プログラム： 10月11日（火） 11:00-12:00 Survey talk, Robert Sinclair氏 (8号館6階(数学科)610室) 14:40-16:10 チュートリアル１ (1号館350教室) 16:20-17:50 チュートリアル２ (1号館350教室) 10月12日（水） 10:30-12:0 チュートリアル３ (1号館350教室) 13:00-14:30 チュートリアル４ (1号館350教室)