Semantics and Algebraic Specification :

Semantics and Algebraic Specification

Product Description

This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter’s coauthors, collaborators, close colleagues, and former students.

Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics.

The presentations – given on a symposium in his honor in Udine, Italy, on September 10, 2009 – were on subjects related to Peter’s many technical contributions and they were a tribute to his lasting impact on the field. Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.

to download follow the link below :

http://rapidshare.com/files/289434442/Seman.Alge.Specifi.rar

Read more...

Computer Algebra in Scientific Computing:

Computer Algebra in Scientific Computing

Product Description

This book constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC 2006, held in Chisinau, Moldova, in September 2006. The 25 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. The topics addressed are studies in Grobner bases, polynomial algebra, homological algebra, quantifier elimination, the applications of computer algebra systems in the field of the solution of differential equations, celestial mechanics, Newton polyhedra, mathematical physics, nuclear physics, and fluid dynamics. Novel themes also addressed are the application of computer algebra techniques in the field of nanosciences and nanotechnology as well as the application of CA methods to cellular automata with symmetrical local rules.

to download follow the link below:

http://rapidshare.com/files/267910583/Computer_Alge_in_Scien_comput.zip

Read more...

Geometric Algebra for Computer Graphics:

Geometric Algebra for Computer Graphics

Product Description

Geometric algebra (a Clifford Algebra) has been applied to different branches of physics for a long time but is now being adopted by the computer graphics community and is providing exciting new ways of solving 3D geometric problems. John Vince (author of numerous books including “Geometry for Computer Graphics” and “Vector Analysis for Computer Graphics”) has tackled this complex subject in his usual inimitable style, and provided an accessible and very readable introduction.As well as putting geometric algebra into its historical context, John tackles complex numbers and quaternions; the nature of wedge product and geometric product; reflections and rotations (showing how geometric algebra can offer a powerful way of describing orientations of objects and virtual cameras); and how to implement lines, planes, volumes and intersections. Introductory chapters also look at algebraic axioms, vector algebra and geometric conventions and the book closes with a chapter on how the algebra is applied to computer graphics.

to download follow the link below:

http://rapidshare.com/files/259532146/Geometric_Algebra.rar

Read more...

Basic Notions of Algebra (Encyclopaedia of Mathematical Sciences):

This book is wholeheartedly recommended to every student or user of mathematics. Although the author modestly describes his book as ‘merely an attempt to talk about’ algebra, he succeeds in writing an extremely original and highly informative essay on algebra and its place in modern mathematics and science.

From the fields, commutative rings and groups studied in every university math course, through Lie groups and algebras to cohomology and category theory, the author shows how the origins of each algebraic concept can be related to attempts to model phenomena in physics or in other branches of mathematics. Comparable in style with Hermann Weyl’s evergreen essay The Classical Groups, Shafarevich’s new book is sure to become required reading for mathematicians, from beginners to experts.

to download follow the link below:

http://rapidshare.com/files/229976767/BasicNotionsAlgebra.rar

Read more...