Manuel Kauers

• The Concrete Tetrahedron
• Mathematical Software – ICMS 2018
• D-Finite Functions
• Towards Mechanized Mathematical Assistants