Projects

PGKit – Generic User Interfaces for Interactive Theorem Provers

Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between …

IDX – Information Retrieval with IDX

IDX is a professional text indexing system with high-quality linguistic knowledge. It achieves an excellent level of consistency in the indexing of …

PyPy – Researching a Highly Flexible and Modular Language Platform and Implementing it by Leveraging the Open Source Python Language and Community

The project will research and implement a flexible, configurable and fast version of Python, a popular Free/Open Source programming language. Much …

CGM – CityGuide Mobile

CityGuide Mobile is an interactive and innovative navigation system for pedestrians requiring just a standard mobile phone or handheld computer. With …

DK – Dropping Knowledge IP

Developing the Archive for dropping kinowledge ( www.droppingknowledge.org ) Partners dropping knowledge e,V. (subcontractor)

IPeT – Image-Based Personal Computing Tools

With the widespread and cheap availability of imaging devices (scanners, digital cameras, camera-equipped PDAs and cellular phones), and the rapid …

Bib Tutor – Development of an electronic tutor system for information retrival

The ability to deal with information in a reasonable and active way is today just as important as reading, writing and basic arithmetic. The teaching …

Projects

Research Departments

Research Topics

Fields of application