Wolfgang Windsteiger

• Algorithmische Methoden
• Towards Mechanized Mathematical Assistants