This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2013, held in Berlin, Germany, in September 2013. The 33 full papers presented were carefully reviewed and selected for inclusion in this book.
The papers address issues such as polynomial algebra; the solution of tropical linear systems and tropical polynomial systems; the theory of matrices; the use of computer algebra for the investigation of various mathematical and applied topics related to ordinary differential equations (ODEs); applications of symbolic...
This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2013, held in Berlin, Ge...
The CASC Workshops are traditionally held in turn in the Commonwealth of IndependentStates(CIS)andoutsideCIS(Germanyinparticular, but, attimes, also other countries with lively CA communities). The previous CASC Wo- shop was held in Japan, and the 12th workshop was held for the ?rst time in Armenia, which is one of the CIS republics. It should be noted that more than 35 institutes and scienti?c centers function within the National Academy of S- ences of Armenia (further details concerning the structure of the academy can be foundhttp: //www. sci. am). These institutions are concerned, in...
The CASC Workshops are traditionally held in turn in the Commonwealth of IndependentStates(CIS)andoutsideCIS(Germanyinparticular, but, attimes, also o...
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kassel, Germany, in September 2011. The 26 full papers included in the book were carefully reviewed and selected from numerous submissions. The articles are organized in topical sections on the development of object oriented computer algebra software for the modeling of algebraic structures as typed objects; matrix algorithms; the investigation with the aid of computer algebra; the development of symbolic-numerical algorithms; and the application of...
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kass...
This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2012, held in Maribor, Slovenia, in September 2012. The 28 full papers presented were carefully reviewed and selected for inclusion in this book. One of the main themes of the CASC workshop series, namely polynomial algebra, is represented by contributions devoted to new algorithms for computing comprehensive Grobner and involutive systems, parallelization of the Grobner bases computation, the study of quasi-stable polynomial ideals, new algorithms to compute the Jacobson...
This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2012, held in Maribor, Slov...
Dieses Buch stellt die Fortsetzung des Bandes "Mathematik mit DERIVE" dar, das der Autor zusammen mit Adi-Ben Israel und R. P. Gilbert geschrieben hat. Die ausgewahlten Themen umfassen den Stoff, den jeder Mathematik- und Ingenieurstudent aus der mehrdimensionalen Analysis kennen sollte. Dabei unterstutzen ihn einerseits viele Ubungsaufgaben, andererseits Mustersitzungen mit dem Computeralgebra-System DERIVE, damit der Blick auf die mathematischen Inhalte nicht durch (zu-)viel Rechnerei verstellt wird.
Dieses Buch stellt die Fortsetzung des Bandes "Mathematik mit DERIVE" dar, das der Autor zusammen mit Adi-Ben Israel und R. P. Gilbert geschrieben hat...
Modern algorithmic techniques for summation, most of which were introduced in the 1990s, are developed here and carefully implemented in the computer algebra system Maple .
The algorithms of Fasenmyer, Gosper, Zeilberger, Petkov ek and van Hoeij for hypergeometric summation and recurrence equations, efficient multivariate summation as well as q-analogues of the above algorithms are covered. Similar algorithms concerning differential equations are considered. An equivalent theory of hyperexponential integration due to Almkvist and Zeilberger completes the book.
The...
Modern algorithmic techniques for summation, most of which were introduced in the 1990s, are developed here and carefully implemented in the comput...
Computeralgebra-Systeme spielen in Zukunft im Mathematikunterricht der Sekundarstufe II eine wichtige Rolle. Dieses Buch ist auf den Schulstoff der Sekundarstufe II ausgerichtet und richtet sich an Lehramtsstudenten und interessierte Lehrer, die sich in das Programm DERIVE einarbeiten mochten, um es dann im Unterricht, insbesondere in Leistungskursen Mathematik, zu verwenden.
Computeralgebra-Systeme spielen in Zukunft im Mathematikunterricht der Sekundarstufe II eine wichtige Rolle. Dieses Buch ist auf den Schulstoff der Se...
This book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC 2014, held in Warsaw, Poland, in September 2014. The 33 full papers presented were carefully reviewed and selected for inclusion in this book. The papers address issues such as Studies in polynomial algebra are represented by contributions devoted to factoring sparse bivariate polynomials using the priority queue, the construction of irreducible polynomials by using the Newton index, real polynomial root finding by means of matrix and polynomial iterations, application...
This book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC 2014, held in Warsaw, Polan...
This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015.
The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra and its expanding applications. New and closer interactions are fostered by combining the area of computer algebra methods and systems and the application of the tools of computer algebra for the solution of problems in...
This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in...
This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016. The 32 papers presented in this volume were carefully reviewed and selected from 39 submissions. They deal with cutting-edge research in all major disciplines of Computer Algebra.
This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest,...
