5 द्वारा ईबुक Wolfgang Windsteiger
Bruno Buchberger & Michael Affenzeller: Hagenberg Research
Bruno Buchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research I …
PDF
अंग्रेज़ी
€149.79
Manuel Kauers & Manfred Kerber: Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007and MKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems …
PDF
अंग्रेज़ी
DRM
€57.05
David Aspinall & Jacques Carette: Intelligent Computer Mathematics
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital …
PDF
अंग्रेज़ी
DRM
€57.88
Philipp Kugler & Wolfgang Windsteiger: Algorithmische Methoden
Gegenstand des Buches sind Algorithmen zur Lösung gängiger Fragestellungen der Analysis und der Linearen Algebra. Die Gliederung erfolgt anhand der mathematischen Objekte, die in den vorgestellten Me …
PDF
जर्मन
DRM
€12.74
Philipp Kugler & Wolfgang Windsteiger: Algorithmische Methoden
Dies ist der zweite Band von Algorithmische Methoden, ein Lehrbuch zur computerorientierten Begleitung der Analysis und Linearen Algebra. Als mathematische Objekte dienen Funktionen, Matrizen und mul …
PDF
जर्मन
DRM
€12.85