Free Downloads Manuel Kauers Books

ISBN 10: 3709104440
ISBN 13: 9783709104446

11 Feb 2011
Peter Paule
Download The Concrete Tetrahedron by Peter Paule

ISBN 10: 3540730834
ISBN 13: 9783540730835

03 Sep 2007
Manuel Kauers
Download Towards Mechanized Mathematical Assistants by Manuel Kauers

ISBN 10: 3319964178
ISBN 13: 9783319964171

Download Mathematical Software - ICMS 2018 by James H. Davenport

ISBN 10: 3540839577
ISBN 13: 9783540839576

04 Sep 2008
Manuel Kauers
Download Towards Mechanized Mathematical Assistants by Manuel Kauers

ISBN 10: 3709104467
ISBN 13: 9783709104460

13 Mar 2011
Manuel Kauers
Download The Concrete Tetrahedron by Manuel Kauers
pas15605pas