Sökt på: Böcker av Wolfgang Windsteiger
totalt 10 träffar
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 …
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of …
Algorithmische Methoden
Dies ist der zweite Band von Algorithmische Methoden, ein Lehrbuch zur computerorientierten Begleitung der Analysis und Linearen Algebra. Als mathematische Objekte dienen …
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of …
Algorithmische Methoden
Dies ist der zweite Band von Algorithmische Methoden, ein Lehrbuch zur computerorientierten Begleitung der Analysis und Linearen Algebra. Als mathematische Objekte dienen …
Hagenberg Research
BrunoBuchberger 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 …
Hagenberg Research
BrunoBuchberger 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 …
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 …
Hagenberg Research
BrunoBuchberger 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 …
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 …