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
Esiste oggi un potente strumento didattico che può essere utile per rinnovare contenuti e metodi dell'insegnamento: ora che la COMUPTER ALGEBRA è disponibile su calcolatrici di piccole dimensioni, l'insegnante e lo studente hanno l`opportunità di rendere il proprio insegnamento-apprendimento più efficace. Questo libro mostra percorsi didattici, provati in classe nell'ambito della sperimentazione LABCLASS del M.P.I., che, partendo da attività di ricerca sperimentale, hanno lo scopo di rafforzare la valenza semantica degli oggetti matematici e innestare su un terreno più solido definizioni e teoremi. Il volume è destinato ai docenti delle scuole medie superiori e dell'università e agli studenti curiosi di 'fare' matematica non solo con carta e penna. ... 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
The book consists of state-of-the-art chapters on Nevanlinnatheory, Fatou--Julia theory, entire and meromorphic functions,several complex variables, computer applications to complex analysis,line bundles, and collocation methods. Audience: Researchers working in the field as well as scientistsinterested in the applications. ... 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
For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments inlogic. These newdevelopments in logic are partly based on the useofalgorithmic techniques in deduction and proving methods, butare alsodue to new theoretical advances, to a great extentstimulated by computer science, which have led to new typesof logic and new logical calculi. Thenew techniques,methods and tools from logic, combined with algebra-basedones, offer very powerful and useful tools for thecomputerscientist, which may soon become practical for commercialuse, where, in particular, more powerful specification toolsare needed forconcurrent and distributed systems.This volume contains papers based onlectures by leadingresearchers which were originally given at an internationalsummer school held in Marktoberdorf in 1991. The papers aimto give a foundation for combining logic and algebra forthepurposes of specification under the aspects of automateddeduction, proving techniques, concurrency and logic,abstract data types andoperational semantics, andconstructive methods. ... 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
This book contains papers presented at a workshop on the useof paralleltechniques in symbolic and algebraic computationheld at Cornell University in May 1990. The eight papers inthe book fall into three groups.The first three papers discuss particular programmingsubstrates for parallel symbolic computation, especially fordistributed memory machines. The nextthree papers discussnovel ways of computing with elements of finite fields andwith algebraic numbers. The finite field technique isespeciallyinteresting since it uses the Connection Machine,a SIMD machine, to achievesurprising amounts ofparallelism. One of the parallel computing substrates isalso used to implement a real root isolation technique.One of the crucial algorithms in modern algebraiccomputation is computing the standard, or Gr|bner, basis ofan ideal. The final two papers discuss two differentapproaches to speeding their computation. One usesvectorprocessing on the Cray and achieves significant speed-ups.The other uses a distributed memory multiprocessor andeffectively explores the trade-offs involved with differentinterconnect topologies of the multiprocessors. ... 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

Product Description
Perturbation methods have always been an important tool for treating nonlinear differential equations. Now the drudgery associated with them has been eliminated! This book offers computer algebra (MACSYMA) programs which implement the most popular perturbation methods. Not only does this avoid the errors associated with hand computation, but the increase in efficiency permits more complicated problems to be tackled. This book is useful both for the beginner learning perturbation methods for the first time, as well as for the researcher. Methods covered include: Lindstedt's method, center manifolds, normal forms, two variable expansion method (method of multiple scales), averaging, Lie transforms and Liapunov-Schmidt reduction. For each method the book includes an introduction and some example problems solved both by hand and by machine. The examples feature common bifurcations such as the pitchfork and the Hopf. The MACSYMA code for each method is given and suggested exercises are provided at the end of each Chapter. An Appendix offers a brief introduction to MACSYMA. ... Read more