Prof. Dr. rer. nat. Christoph Schwarzweller

Adress:

Instytut Informatyki

Uniwersytet Gdański

ul. Wita Stwosza 57

80-952 Gdańsk

Polska

Phone:

+48 58 552-9593

Fax:

+48 58 341-4914

E-mail:

schwarzw@inf.ug.edu.pl

Main Interests

• Mechanized Reasoning
• Mathematical Knowledge Management
• Generic Algebraic Algorithms
• Specification and Verification of Algorithms

Minor Interets

• String Rewriting Systmes
• Inductive Inference
• History of Mathematics and Computer Science

Some Links

• The Mizar Project

• Mathematical Knowledge Management

• The Tecton Project

• The Calculemus Project

• Mechanized Reasoning Systems

• The CoFI Project

• History of Mathematics Archive

Written Stuff

Teaching (in Polish)