Wolfgang Windsteiger – författare
Visar alla böcker från författaren Wolfgang Windsteiger. Handla med fri frakt och snabb leverans.
11 produkter
Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Av Manuel Kauers, Manfred Kerber m. fl.
Häftad, 2007
548 kr
Lägg i varukorg
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on …
Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Av Wolfgang Windsteiger, Robert Miner m. fl.
E-bok, 2007
712 kr
Lägg i varukorg
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on …
Hagenberg Research
Av Bruno Buchberger, Michael Affenzeller m. fl.
Inbunden, 2009
1679 kr
Lägg i varukorg
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 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request …
Hagenberg Research
Av Wolfgang Windsteiger, Gerhard Wei m. fl.
E-bok, 2009
2127 kr
Lägg i varukorg
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 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request …
Hagenberg Research
Av Bruno Buchberger, Michael Affenzeller m. fl.
Häftad, 2010
1679 kr
Lägg i varukorg
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 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request …
Intelligent Computer Mathematics
MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
Av Jacques Carette, David Aspinall m. fl.
Häftad, 2013
564 kr
Lägg i varukorg
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 Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the …
Intelligent Computer Mathematics
MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
Av Wolfgang Windsteiger, Petr Sojka m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
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 Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the …
Algorithmische Methoden
Zahlen, Vektoren, Polynome
Av Philipp Kügler, Wolfgang Windsteiger
Häftad, 2008
210 kr
Lägg i varukorg
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 Methoden die zentrale Rolle spielen. So stehen im vorliegenden Buch Zahlen, Vektoren und univariate …
Algorithmische Methoden
Zahlen, Vektoren, Polynome
Av Wolfgang Windsteiger, Philipp Kugler
E-bok, 2011
163 kr
Lägg i varukorg
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 Methoden die zentrale Rolle spielen. So stehen im vorliegenden Buch Zahlen, Vektoren und univariate …
Algorithmische Methoden
Band 2: Funktionen, Matrizen, Multivariate Polynome
Av Philipp Kügler, Wolfgang Windsteiger
Häftad, 2012
210 kr
Lägg i varukorg
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 multivariate Polynome der Gliederung des Bandes. Neben den Grundlagen dazu werden die Darstellung der …
Algorithmische Methoden
Band 2: Funktionen, Matrizen, Multivariate Polynome
Av Wolfgang Windsteiger, Philipp Kugler
E-bok, 2012
163 kr
Lägg i varukorg
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 multivariate Polynome der Gliederung des Bandes. Neben den Grundlagen dazu werden die Darstellung der …
