神戸大学理学部 C501
Room C501, Faculty of Science, Kobe University.
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.
http://www.math.kobe-u.ac.jp/seminars.html