Sökt på: Böcker av Manuel Kauers
totalt 9 träffar
Mathematical Software - ICMS 2018
This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in …
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of …
D-Finite Functions
Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics. This …
D-Finite Functions
Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics. This …
Mathematical Software – ICMS 2018
This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in …
Concrete Tetrahedron
The book treats four mathematical concepts which play a fundamental role in many different areas of mathematics: symbolic sums, recurrence (difference) equations, generating …
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of …
Rechnen mit gigantischen Zahlen
Das Buch soll eine fundamentale mathematische Frage für Leserinnen und Leser ohne besondere Fachkenntnisse nachvollziehbar erörtern: wie werden Zahlen miteinander multipliziert? …
The Concrete Tetrahedron
The book treats four mathematical concepts which play a fundamental role in many different areas of mathematics: symbolic sums, recurrence (difference) equations, generating …