Product Description
The text covers the fundamentals of the mechanics of multibody systems, ie, systems of interconnected rigid bodies. A geometric view is emphasized in which the techniques and algorithms are motivated by the picture of the rigid body system as a point in the multidimensional space of all possible configurations. The reader is introduced to computer algebra methods in the form of a system, called Sophia, which is implemented in the Maple symbolic manipulation system. The first chapter provides a motivational introduction to the basic principles and an introduction to Maple. Kinematics based on the idea of tangent vectors to the configuration manifold sets the stage for dynamical analysis. The latter ranges from the Lagrange and Gibbs-Appell to Kane's equations. Coverage includes nonholonomic systems and redundant variable methods. The computer algebra methods included enable the treatment of nontrivial mechanical systems and the development of efficient numerical codes for simulation. ... Read more

Product Description
The Marktoberdorf Summer Schools on Informatics were started in 1970 as Advanced Study Institutes under the sponsorship of NATO. At the schools, groups of top researchers in computing present their most recent results to an elite of advanced students and face their questions, criticism and suggestions. This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics. The volume contains ten papers, on computation and specification over abstract data types, deductive program synthesis, resolution, the pure lambda-calculus, normalization, logical and recursive complexity, the computation system of constructive type theory, modal logic, concurrency, and concurrent logic programming languages. ... Read more

Product Description
Collects standard and advanced methods in quantum mechanics and implements them using REDUCE, a popular computer algebra package. ... Read more

Product Description
This work provides conditions for the identification of major relevant classes of models. Checking these conditions requires complex algebraic computations, which can now be performed by computer. This book provides relevant algorithms and programs. It includes a diskette containing the program. ... Read more

Product Description
This book is a comprehensive introduction to the applicationof continuous symmetries and their Lie algebras to ordinary andpartial differential equations. It is suitable for students andresearch workers whose main interest lies in finding solutions todifferential equations. It therefore caters for readers primarilyinterested in applied mathematics and physics rather than puremathematics.

The book provides an application-orientated text that is reasonablyself-contained. A large number of worked examples have been includedto help readers working independently of a teacher. The advance ofalgebraic computation has made it possible to write programs for thetedious calculations in this research field, and thus the book alsomakes a survey of computer algebra packages. ... Read more

Product Description
Dr. Aceto studies the notion of action refinement in the setting of process description languages, together with behavioral equivalences for them and their associated proof systems. The presentation is organized into three parts. In the first, a semantic theory of processes based on atomic actions is used to give results that serve as a stepping stone toward the more complex theories needed to support action refinement. The core of the book then develops suitable notions of process equivalence for increasingly complex languages with operators for action refinement. This approach is used to highlight the difficulties introduced by synchronization among actions and scoping operators. In the final part, the author deals with the possibility of using action refinement to "observe" indirectly the causal relationships among actions in a system. A preliminary semantic theory for concurrent systems that relates concurrency and nondeterminism without reducing the former to the latter is also studied in some detail. ... Read more

Product Description
The book covers various topics of computer algebra methods, algorithms and software applied to scientific computing. An important topic presented in the book, which may be of interest to researchers and engineers, is the application of computer algebra methods to the development of new efficient analytic and numerical solvers, both for ordinary and partial differential equations. A specific feature of the book is an intense use of advanced software systems such as Mathematica, Maple etc. for the solution of problems as outlined above and for the industrial application of computer algebra for simulation. The book will be useful for researchers and engineers who apply advanced computer algebra methods for the solution of their problems. ... Read more

Product Description
This advanced introduction to theory, techniques, applications and computer implementation of linear algebra is designed for those with only minimal prior background in linear algebra and computing. The book shows how to set up and solve systems of linear equations and matrices for eigenvalues and eigenvectors and features several applied examples of packaged library routines plus ready-to-use FORTRAN program listings. ... Read more

Product Description
This book presents a modified method, based on multidimensionalresidue theory, for the elimination of unknowns from a system ofnonlinear algebraic equations. An algorithm is given for constructingthe resultant of the system, and a computer implementation making useof formula manipulation software is carried out. Programmes in MAPLEare available. The algorithms and programmes are then applied toquestions from the theory of chemical kinetics, such as the search forall stationary solutions of kinetic equations and the construction ofkinetic polynomials. The subject of this book is closely connectedwith a wide range of current problems in the analysis of nonlinearsystems. Audience: This volume will be of interest to graduate studentsand researchers whose work involves multidimensional theory ofresidues, mathematical kinetics, computer algebra, and symboliccomputation. ... Read more

Product Description
An introduction to computer algebra with a description and comparison of the most popular computer algebra systems. The authors take a critical look at all the popular computer algebra systems - REDUCE, MACSYMA, Maple, Mathematica and Derive. ... Read more

Product Description
This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practice in computer science, CAAP '88 was held in conjunction with the European Symposium on Programming, ESOP '88 (see volume 300 of this Lecture Notes series). CAAP '88 is a conference in the area of program development and programming concepts but, following the tradition, is devoted to theoretical aspects, and especially to Trees, a basic structure of computer science. A wider range of topics in theoretical computer science is also covered. The papers are on word, tree or graph languages, with algorithmic or complexity studies, on abstract data types (another classical topic of CAAP) and/or term rewriting systems and on non-standard logics, and parallelism and concurrency. ... Read more

Product Description
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming. ... Read more

Product Description
Presenting the proceedings of the twenty-first Nordic Congress of Mathematicians at Luleå University of Technology, Sweden, this outstanding reference discusses recent advances in analysis, algebra, stochastic processes, and the use of computers in mathematical research. ... Read more