Ernst W. Mayr

Evgenii V. Vorozhtsov

Vladimir P. Gerdt

Wolfram Koepf

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

Computer Algebra in Scientific Computing

Viktor G. Ganzha

CASC 2001 continues a tradition ~ started in 1998 ~ of international con ferences on the latest advances in the application of computer algebra systems to the solution of various problems in scientific computing. The three ear (CASs) lier conferences in this sequence, CASC'98, CASC'99, and CASC 2000, were held, Petersburg, Russia, in Munich, Germany, and in Samarkand, respectively, in St. Uzbekistan, and proved to be very successful. We have to thank the program committee, listed overleaf, for a tremendous job in soliciting and providing reviews for the submitted papers. There were more than three reviews per submission on average. The result of this job is reflected in the present volume, which contains revised versions of the accepted papers. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scientific computing. In particular, five papers are devoted to the implementation of the analysis of involutive systems with the aid of CASso The specific examples include new efficient algorithms for the computation of Janet bases for monomial ideals, involutive division, involutive reduction method, etc. A number of papers deal with application of CASs for obtaining and vali dating new exact solutions to initial and boundary value problems for partial differential equations in mathematical physics. Several papers show how CASs can be used to obtain analytic solutions of initial and boundary value problems for ordinary differential equations and for studying their properties.

Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001

Computer Algebra in Scientific Computing CASC 2001

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

François Boulier

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 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 CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.

22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings

Sergey P. Kiselev

Vasily M. Fomin

Fluid mechanics (FM) is a branch of science dealing with the investi gation of flows of continua under the action of external forces. The fundamentals of FM were laid in the works of the famous scientists, such as L. Euler, M. V. Lomonosov, D. Bernoulli, J. L. Lagrange, A. Cauchy, L. Navier, S. D. Poisson, and other classics of science. Fluid mechanics underwent a rapid development during the past two centuries, and it now includes, along with the above branches, aerodynamics, hydrodynamics, rarefied gas dynamics, mechanics of multi phase and reactive media, etc. The FM application domains were expanded, and new investigation methods were developed. Certain concepts introduced by the classics of science, however, are still of primary importance and will apparently be of importance in the future. The Lagrangian and Eulerian descriptions of a continuum, tensors of strains and stresses, conservation laws for mass, momentum, moment of momentum, and energy are the examples of such concepts and results. This list should be augmented by the first and second laws of thermodynamics, which determine the character and direction of processes at a given point of a continuum. The availability of the conservation laws is conditioned by the homogeneity and isotrop icity properties of the Euclidean space, and the form of these laws is related to the Newton's laws. The laws of thermodynamics have their foundation in the statistical physics.

Problem Solving Using Mathematica®

Foundations of Fluid Mechanics with Applications

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

Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000

CASC 2000 : proceedings of the third workshop on Computer Algebra in Scientific Computing, Samarkand, october 5-9, 20000

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

Vasily Mikhailovich Fomin

This book presents the basic concepts of continuum mechanics. The material is presented in a tensor invariant form with a large number of problems with solutions. The book integrates the use of the computer algebra system Mathematica, and contains a large number of programs on the disk that will help clarify the concepts of continuum mechanics.

Problem Solving Using Mathematica

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.

Evgenii V. Vorozhtsov

About

Books

Join the club