Ernst W. Mayr

Evgenii V. Vorozhtsov

Vladimir P. Gerdt

Wolfram Koepf

This book constitutes the refereed proceedings of the 12th International Workshop on Computer Algebra in Scientific Computing, CASC 2010, held in Tsakhadzor, Armenia, in September 2010. The book includes two invited talks and an abstract in addition to 23 full papers.

12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings

Computer Algebra in Scientific Computing

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 computations for solving partial differential equations (PDEs) in mathematical physics; problems arising at the application of computer algebra methods for finding infinitesimal symmetries; applications of symbolic and symbolic-numeric algorithms in mechanics and physics; automatic differentiation; the application of the CAS Mathematica for the simulation of quantum error correction in quantum computing; the application of the CAS GAP for the enumeration of Schur rings over the group A5; constructive computation of zero separation bounds for arithmetic expressions; the parallel implementation of fast Fourier transforms with the aid of the Spiral library generation system; the use of object-oriented languages such as Java or Scala for implementation of categories as type classes; a survey of industrial applications of approximate computer algebra.

15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings

Mama Foupouagnigni

This book presents contributions of international and local experts from the African Institute for Mathematical Sciences (AIMS-Cameroon) and also from other local universities in the domain of orthogonal polynomials and applications. The topics addressed range from univariate to multivariate orthogonal polynomials, from multiple orthogonal polynomials and random matrices to orthogonal polynomials and Painlevé equations. The contributions are based on lectures given at the AIMS-Volkswagen Stiftung Workshop on Introduction of Orthogonal Polynomials and Applications held on October 5–12, 2018 in Douala, Cameroon. This workshop, funded within the framework of the Volkswagen Foundation Initiative "Symposia and Summer Schools", was aimed globally at promoting capacity building in terms of research and training in orthogonal polynomials and applications, discussions and development of new ideas as well as development and enhancement of networking including south-south cooperation.

2nd AIMS-Volkswagen Stiftung Workshop, Douala, Cameroon, 5-12 October, 2018

Orthogonal Polynomials

Werner M. Seiler

Matthew England

Timur M. Sadykov

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing, CASC 2019, held in Moscow, Russia, in August 2019. The 28 full papers presented together with 2 invited talks were carefully reviewed and selected from 44 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CASs in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.

21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018. The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in all major disciplines of computer algebra in sciences such as physics, chemistry, life sciences, and engineering. Chapter “Positive Solutions of Systems of Signed Parametric Polynomial Inequalities” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

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 Gröbner and involutive systems, parallelization of the Gröbner bases computation, the study of quasi-stable polynomial ideals, new algorithms to compute the Jacobson form of a matrix of Ore polynomials, a recursive Leverrier algorithm for inversion of dense matrices whose entries are monic polynomials, root isolation of zero-dimensional triangular polynomial systems, optimal computation of the third power of a long integer, investigation of the complexity of solving systems with few independent monomials, the study of ill-conditioned polynomial systems, a method for polynomial root-finding via eigen-solving and randomization, an algorithm for fast dense polynomial multiplication with Java using the new opaque typed method, and sparse polynomial powering using heaps.

14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings

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 of the eigenvalue method with symmetry for solving polynomial systems arising in the vibration analysis of mechanical structures with symmetry properties, application of Gröbner systems for computing the (absolute) reduction number of polynomial ideals, the application of cylindrical algebraic decomposition for solving the quantifier elimination problems, certification of approximate roots of overdetermined and singular polynomial systems via the recovery of an exact rational univariate representation from approximate numerical data, new parallel algorithms for operations on univariate polynomials (multi-point evaluation, interpolation) based on subproduct tree techniques.

16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

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 symbolic computations in applied problems of physics, mechanics, social science, and engineering.

13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

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.

18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Rolf Biehler

Thomas Wassong

Pascal R. Fischer

Reinhard Hochmuth

Isabell Bausch

Regina Bruder

Stephan Schreiber

Der Tagungsband gibt einen breiten Überblick über Ziele, Kursszenarien und Lehr-Lernkonzepte, Unterstützungsmaßnahmen in der Studieneingangsphase, Möglichkeiten des Assessments und der Diagnostik sowie einen Ausblick zur Zukunft von mathematischen Vor- und Brückenkursen. Zudem werden aktuelle Vor- und Brückenkursprojekte vorgestellt und der aktuelle empirische und theoretisch-konzeptionelle didaktische Forschungsstand in diesem Bereich abgebildet. ​

Konzepte, Probleme und Perspektiven

Mathematische Vor- und Brückenkurse

This book constitutes the proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, held in Beijing, China, in September 2017. The 28 full papers presented in this volume were carefully reviewed and selected from 33 submissions. They deal with cutting-edge research in all major disciplines of Computer Algebra.

Wolfram Koepf

Books

Your next favorite book is out there