## Computer Algebra Seminar (計算代数セミナー) at Kobe Univ.(神戸大学)

* February 5 (Tue), 2002. 2月5日, 15:00 --- 17:00.
*
神戸大学理学部 C501

Room C501, Faculty of Science, Kobe University.

Koji Nakagawa

Research Institute for Symbolic Computation (RISC-Linz)

Johannes Kepler University, Austria

User-Friendly Features of Mathematical Software System Theorema

Abstract

Theorema, implemented on top of Mathematica, is an integrated and
coherent environment which supports all aspects of mathematical
activities of proving, solving, and computing.

One of the design objectives of Theorema is to be user-friendly. In
Theorema all statements are described in the Theorema syntax which is
quite similar to that of mathematical books. Proofs are interactively
shown in natural languages (e.g. Japanese) with colors. Also with the
facility of 'logicographic symbols' the users can create new notations
which remind us the meaning of the notions.

In this talk, we will see these features by live demo presentation,
and then the implementation will be presented. Also the implementation
of proving engine will be mentioned.

Past Lectures.

---------------------------------------------------------------

The computer algebra seminar is co-organized by

M.Noro, noro@math.kobe-u.ac.jp

N.Takayama, takayama@math.kobe-u.ac.jp

K.Yokoyama, yokoyama@math.kyushu-u.ac.jp

For more info see http://www.math.kobe-u.ac.jp/seminar.html/compalg.html
http://www.math.kobe-u.ac.jp/seminars.html