Search

You searched for: Auteur Manuel Kauers Remove constraint Auteur: Manuel Kauers
1 - 4 of 4
Number of results to display per page

Search Results

1. D-Finite Functions
thumbnail
Full text!
Author:
Kauers, Manuel.
Publisher:
Cham Springer 2023
Format:
e-book
2. Mathematical Software – ICMS 2018
thumbnail
Full text!
Author:
Davenport; George Labahn; Josef Urban; Manuel Kauers; Kauers, Manuel; Labahn, George; Urban, Josef
Publisher:
Springer International Publishing 2018
Format:
e-book
3. The Concrete Tetrahedron
thumbnail
Full text!
Author:
Kauers, Manuel; Hong, Hoon; Paule, Peter; Ida, Tetsuo
Publisher:
Springer Vienna 2011
Format:
e-book
4. Towards Mechanized Mathematical Assistants
thumbnail
Full text!
Author:
Kauers, Manuel; Kerber, Manfred; Miner, Robert; Siekmann, Jörg; Windsteiger, Wolfgang
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book