Reading Length
Home
Speed Tests
Login
Manuel Kauers
Identifiers
Open Library
OL7207573A
Top Subjects
Knowledge management (1)
Mathematical analysis (1)
Logic, symbolic and mathematical (1)
Algebra, data processing (1)
Mathematics (1)
Algorithms (1)
Combinatorial analysis (1)
Books by Manuel Kauers
Total count: 4
Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Springer London, Limited
2007-01-01
The Concrete Tetrahedron
Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
Springer-Verlag/Wien
2011-01-01
Mathematical Software – ICMS 2018
6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Springer
2018-07-14
D-Finite Functions
Springer
2023-01-01
