Product Description
Written by world-renowned experts, the book is a collection of tutorial presentations and research papers catering to the latest advances in symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. The papers were presented at a workshop celebrating the 60th birthday of Sergei Abramov (Russia), whose highly influential contributions to symbolic methods are adopted in many leading computer algebra systems. ... Read more

Product Description

This book constitutes the thoroughly refereed joint post-proceedings of the 6th International Workshop on Mathematics Mechanization, IWMM 2004, held in Shanghai, China in May 2004 and the International Workshop on Geometric Invariance and Applications in Engineering, GIAE 2004, held in Xian, China in May 2004.

The 30 revised full papers presented were rigorously reviewed and selected from 65 presentations given at the two workshops. The papers are devoted to topics such as applications of computer algebra in celestial and engineering multibody systems, differential equations, computer vision, computer graphics, and the theory and applications of geometric algebra in geometric reasoning, robot vision, and computer graphics.

Product Description

The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, AKA 2008, held in Manchester, UK in April 2008.

The 26 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization.

Product Description
The focus here is on existing and developing algebraic computational systems and their applications showing the usefulness, accessiblity, and effectiveness of computers as a research tool in mathematics and physics. The book details numerous currently available computer algebra systems and also deal ... Read more

Product Description
Based on the proceedings of the SCAFI '91 Seminar, this collection of research papers demonstrates the useful and cost-effective applications of computer algebra in industry. The core of the text is a number of case studies of industrial applications by European companies of diverse origins. ... Read more

Product Description
This volume contains the proceedings of the 4th International Conference on Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra (AAECC-4), held in Karlsruhe, 23-26 September, 1986. Selected papers which were given at the conference have been reviewed a second time and are presented here. ... Read more

Product Description
One of the first detailed expositions of partial algebras, this book develops a special theory of partial algebras as a powerful foundation of a model theoretic, initial semantics of algebraic specification languages.Professor Reichel explores the possibility of increasing the use of partial algebras, particularly in computer science.He presents examples of algebraic specifications of increasing complexity and proves that structural induction can yield a complete calculus of abstract programs on parameterized abstract data types. Finally, he extends the model-theoretic initial semantics of abstract data types with partial operations to behavioral semantics. ... Read more

Product Description
Tools of computer algebra (Like Axiom, Derive, Form, Mathematica, Maple, Mupad, Reduce) manipulate extremely complex algebraic formulae symbolically on a computer, in full generality and without any loss of accuracy. After decades of research and development, these tools are now becoming as indispensable in science and engineering as traditional number crunching already is. The workshop is devoted specifically to applications of computer algebra (CA) in science and engineering. The text documents the state-of-the-art in this area and serves as a reference for future work. ... Read more

Product Description
The book represents a library of well-designed software, which well supplements the already available Maple software with the orientation towards the widest circle of the Maple users, greatly enhancing its usability and effectiveness. The current library version contains tools (more than 575 procedures and program modules) that are oriented onto wide enough spheres of computing and information processing. The library is structurally similar to the main Maple library and is supplied with the advanced Help system about the tools located in it. In addition, the library is logically connected with the main Maple library, providing access to the tools contained in it similarly to the package tools. The library will be of special interest above all to those who use Maple of releases 6 - 9/9.5 not only as a highly intellectual calculator but also as environment for programming of different problems in own professional activities. The represented source codes of the library tools, using both the effective and the non-standard technique, can serve as an useful enough practical programming guide on the Maple language. ... Read more

Product Description
This book contains lectures by leading scientists from internationally reputed centers of research and teaching. It is split into four parts covering numerics, computer algebra, visualization, and exotic smoothness on spacetime and provides an excellent introduction to scientific computing for students who wish to specialize in relativity, gravitation, and/or astrophysics. ... Read more

Product Description

This book constitutes the refereed proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC 2005, held in Kalamata, Greece in September 2005.

The 41 revised full papers presented were carefully reviewed and selected from 75 submissions. The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software: algebraic methods for nonlinear polynomial equations and inequalities, symbolic-numeric methods for differential and differential-algebraic equations, algorithmic and complexity considerations in computer algebra, algebraic methods in geometric modelling, aspects of computer algebra programming languages, automatic reasoning in algebra and geometry, complexity of algebraic problems, exact and approximate computation, parallel symbolic-numeric computation, Internet accessible symbolic and numeric computation, problem-solving environments, symbolic and numerical computation in systems engineering and modelling, computer algebra in industry, solving problems in the natural sciences, numerical simulation using computer algebra systems, mathematical communication.

Product Description

The Second Waterloo Workshop on Computer Algebra (WWCA 2008) was held May 5-7, 2008 at Wilfrid Laurier University, Waterloo, Canada. This conference was dedicated to the 70th birthday of Georgy Egorychev (Krasnoyarsk, Russia), who is well known and highly regarded as the author of the influential, milestone book "Integral Representation and the Computation of Combinatorial Sums," which described a regular approach to combinatorial summation, today also known as the method of coefficients. Another great success of this Russian mathematician came in 1980, when he solved the van der Waerden conjecture on the determination of the minimum of the permanent of a doubly stochastic matrix and was awarded the D. R. Fulkerson Prize.

This book presents a collection of selected formally refereed papers submitted after the workshop. The topics discussed in this book are closely related to Georgy Egorychev’s influential works.