Marcos Cramer

Research profile

• Naproche: Mathematical language, proof representations, logic, computational linguistics, proof checking.

Contact information

Mathematisches Institut
Rheinische Friedrich-Wilhelms-Universität Bonn
Beringstraße 1
D-53115 Bonn
Germany

Office: Beringstraße 4, Room 26
Phone: + 49-228-73-6888
E-mail : cramer (at math.uni-bonn.de)