Manuel Kauers · 4 obras en el catálogoObrasThe Concrete TetrahedronMathematical Software – ICMS 2018TTowards Mechanized Mathematical AssistantsTowards Mechanized Mathematical AssistantsDD-Finite FunctionsD-Finite Functions