Browse
FAQ

Author

Manuel Kauers

5 books found

Cover of D-Finite Functions

D-Finite Functions

Manuel Kauers · First published 2023

Cover of Mathematical Software – ICMS 2018

Mathematical Software – ICMS 2018

James H. Davenport, Manuel Kauers, George Labahn, Josef Urban · First published 2018

Cover of The Concrete Tetrahedron

The Concrete Tetrahedron

Manuel Kauers · First published 2011

Cover of Towards Mechanized Mathematical Assistants

Towards Mechanized Mathematical Assistants

Robert Miner,Manuel Kauers,Manfred Kerber · First published 2008

Cover of Towards Mechanized Mathematical Assistants

Towards Mechanized Mathematical Assistants

Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger · First published 2007