This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023.The 22 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software. 

This textbook presents the basic concepts and methods of fluid mechanics, including Lagrangian and Eulerian descriptions, tensors of stresses and strains, continuity, momentum, energy, thermodynamics laws, and similarity theory. The models and their solutions are presented within a context of the mechanics of multiphase media. The treatment fully utilizes the computer algebra and software system Mathematica (R) to both develop concepts and help the reader to master modern methods of solving problems in fluid mechanics. Topics and features: Glossary of over thirty Mathematica (R) computer programs Extensive, self-contained appendix of Mathematica (R) functions and their use Chapter coverage of mechanics of multiphase heterogeneous media Detailed coverage of theory of shock waves in gas dynamics Thorough discussion of aerohydrodynamics of ideal and viscous fluids an d gases Complete worked examples with detailed solutions Problem-solving approach Foundations of Fluid Mechanics with Applications is a complete and accessible text or reference for graduates and professionals in mechanics, applied mathematics, physical sciences, materials science, and engineering. It is an essential resource for the study and use of modern solution methods for problems in fluid mechanics and the underlying mathematical models. The present, softcover reprint is designed to make this classic textbook available to a wider audience.

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 Groebner 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.

The vast area of Scientific Computing, which is concerned with the computer- aided simulation of various processes in engineering, natural, economical, or social sciences, now enjoys rapid progress owing to the development of new efficient symbolic, numeric, and symbolic/numeric algorithms. There has already been for a long time a worldwide recognition of the fact that the mathematical term algorithm takes its origin from the Latin word algo- ritmi, which is in turn a Latin transliteration of the Arab name "AI Khoresmi" of the Khoresmian mathematician Moukhammad Khoresmi, who lived in the Khoresm khanate during the years 780 - 850. The Khoresm khanate took sig- nificant parts of the territories of present-day TUrkmenistan and Uzbekistan. Such towns of the Khoresm khanate as Bukhara and Marakanda (the present- day Samarkand) were the centers of mathematical science and astronomy. The great Khoresmian mathematician M. Khoresmi introduced the Indian decimal positional system into everyday's life; this system is based on using the famil- iar digits 1,2,3,4,5,6,7,8,9,0. M. Khoresmi had presented the arithmetic in the decimal positional calculus (prior to him, the Indian positional system was the subject only for jokes and witty disputes). Khoresmi's Book of Addition and Subtraction by Indian Method (Arithmetic) differs little from present-day arith- metic. This book was translated into Latin in 1150; the last reprint was produced in Rome in 1957.

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.

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."

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.

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 Groebner and involutive systems, parallelization of the Groebner 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.

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.

This book constitutes the refereed proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC 2009, held in Kobe, Japan, in September 2009.

The 28 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from numerous submissions. The topics addressed are all basic areas of scientific computing as they benefit from the application of computer algebra methods and software. The papers cover computer algebra methods and algorithms, application of symbolic and algebraic manipulation, and CA methods and results for the numerical integration of the partial differential equations of the mathematical physics.

CASC 2005 continued a tradition - started in 1998 - of international c- ferences on the latest advances in the application of computer algebra systems (CASs) and methods to the solution of various problems in scienti?c computing. The methods of scienti?c computing play an important role in research and engineering applications in the natural and the engineering sciences. The sign- icance and impact of computer algebra methods and computer algebra systems for scienti?c computing has increased considerably in recent times. Nowadays, suchgeneral-purposecomputeralgebrasystemsasMaple, Magma, Mathematica, MuPAD, Singular, CoCoA and others enable their users to solve the following three important tasks within a uniform framework: (a) symbolic manipulation; (b) numerical computation; (c) visualization. The ongoing development of such systems, including their integrationand ad- tation to modern software environments, puts them at the forefront in scienti?c computing and enables the practicalsolution of many complex applied problems in the domains of natural sciences and engineering. Greece o?ers excellent infrastructures for hosting international conferences, and this was a reason for us to choose the city of Kalamata, Greece, as the lo- tion for CASC 2005, the eighth conference in the sequenceof CASC conferences. The seven earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, and CASC 2004 were held, respectively, in St. Petersburg, Russia, in Munich, Germany, in Samarkand, Uzbekistan, in Konstanz, Germany, in the Crimea (Ukraine), in Passau (Germany), and in St. Petersburg, Russia, and they proved to be successf

This book constitutes the proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, which took place in Gebze, Turkey, in August 2022. The 20 full papers included in this book were carefully reviewed and selected from 32 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software.

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.

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.

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.

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.

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.

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.

The development of powerful computer algebra systems has considerably ex tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers. However, as the field of applications of computer algebra in scientific computing becomes broader and more complex, there is a danger of separation between theory, systems, and applications. For this reason, we felt the need to bring together the researchers who now ap ply the tools of computer algebra for the solution of problems in scientific computing, in order to foster new and closer interactions. CASC'99 is the second conference devoted to applications of computer al gebra in scientific computing. The first conference in this sequence, CASC'98, was held 20-24 April 1998 in St. Petersburg, Russia. This volume contains revised versions of the papers submitted by the par ticipants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scien tific computing: symbolic-numeric analysis and solving differential equations, efficient computations with polynomials, groups, matrices and other related objects, special purpose programming environments, application to physics, mechanics, optics and to other areas. In particular, a significant group of papers deals with applications of com puter algebra methods for the solution of current problems in group theory, which mostly arise in mathematical physics."