Innbunden bok Pocketbok
Vis utilgjengelige utgivelser

Releases med Manuel Kauers

Cover for Manuel Kauers · D-Finite Functions - Algorithms and Computation in Mathematics (Pocketbok) (2024)

D-Finite Functions - Algorithms ... (2024)

Cover for Manuel Kauers · D-Finite Functions - Algorithms and Computation in Mathematics (Innbunden bok) [2023 edition] (2023)

D-Finite Functions - Algorithms ... (2023)

Cover for Manuel Kauers · The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates - Texts and Monographs in Symbolic Computation (Pocketbok) (2010)

The Concrete Tetrahedron: Symbol... (2010)

Cover for Manuel Kauers · Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, Mkm 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings - Lecture Notes in Computer Science (Pocketbok) (2007)

Towards Mechanized Mathematical ... (2007)