Author: Hassan Aït-Kaci Publisher: Academic Press ISBN: 1483262472 Category : Mathematics Languages : en Pages : 475
Book Description
Resolution of Equations in Algebraic Structures: Volume 1, Algebraic Techniques is a collection of papers from the "Colloquium on Resolution of Equations in Algebraic Structures" held in Texas in May 1987. The papers discuss equations and algebraic structures relevant to symbolic computation and to the foundation of programming. One paper discusses the complete lattice of simulation congruences associated with the ground atomic theory of hierarchical specification, retrieving as the lattice's maximum element Milner's strong bisimulation for CCS. Another paper explains algebraic recognizability of subsets of free T-algebras, or equational theories, and covers discrete structures like those of words, terms, finite trees, and finite graphs. One paper proposes a general theory of unification using a category theoretic framework for various substitution systems including classical unification, E-unification, and order-sorted unification. Another paper shows the universality of algebraic equations in computer science. Fixpoint theorems in ordered algebraic structures can be applied in computer science. These theorems, or their variations, include semantics and proof theory, logic programming, as well as efficient strategies for answering recursive queries in deductive data bases. The collection is suitable for programmers, mathematicians, students, and instructors involved in computer science and computer technology.
Author: Michael Joswig Publisher: Springer Science & Business Media ISBN: 1447148177 Category : Mathematics Languages : en Pages : 251
Book Description
Polyhedral and Algebraic Methods in Computational Geometry provides a thorough introduction into algorithmic geometry and its applications. It presents its primary topics from the viewpoints of discrete, convex and elementary algebraic geometry. The first part of the book studies classical problems and techniques that refer to polyhedral structures. The authors include a study on algorithms for computing convex hulls as well as the construction of Voronoi diagrams and Delone triangulations. The second part of the book develops the primary concepts of (non-linear) computational algebraic geometry. Here, the book looks at Gröbner bases and solving systems of polynomial equations. The theory is illustrated by applications in computer graphics, curve reconstruction and robotics. Throughout the book, interconnections between computational geometry and other disciplines (such as algebraic geometry, optimization and numerical mathematics) are established. Polyhedral and Algebraic Methods in Computational Geometry is directed towards advanced undergraduates in mathematics and computer science, as well as towards engineering students who are interested in the applications of computational geometry.
Author: Francisco M. Fernandez Publisher: CRC Press ISBN: 9780849382925 Category : Science Languages : en Pages : 284
Book Description
Algebraic Methods in Quantum Chemistry and Physics provides straightforward presentations of selected topics in theoretical chemistry and physics, including Lie algebras and their applications, harmonic oscillators, bilinear oscillators, perturbation theory, numerical solutions of the Schrödinger equation, and parameterizations of the time-evolution operator. The mathematical tools described in this book are presented in a manner that clearly illustrates their application to problems arising in theoretical chemistry and physics. The application techniques are carefully explained with step-by-step instructions that are easy to follow, and the results are organized to facilitate both manual and numerical calculations. Algebraic Methods in Quantum Chemistry and Physics demonstrates how to obtain useful analytical results with elementary algebra and calculus and an understanding of basic quantum chemistry and physics.
Author: Ruth Breu Publisher: Springer Verlag ISBN: 9780387549729 Category : Computers Languages : en Pages : 228
Book Description
"The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment."--PUBLISHER'S WEBSITE.
Author: Charles A. Weibel Publisher: American Mathematical Soc. ISBN: 0821891324 Category : Mathematics Languages : en Pages : 634
Book Description
Informally, $K$-theory is a tool for probing the structure of a mathematical object such as a ring or a topological space in terms of suitably parameterized vector spaces and producing important intrinsic invariants which are useful in the study of algebr
Author: Marlos A. G. Viana Publisher: American Mathematical Soc. ISBN: 0821826875 Category : Mathematics Languages : en Pages : 354
Book Description
The 23 papers report recent developments in using the technique to help clarify the relationship between phenomena and data in a number of natural and social sciences. Among the topics are a coordinate-free approach to multivariate exponential families, some rank-based hypothesis tests for covariance structure and conditional independence, deconvolution density estimation on compact Lie groups, random walks on regular languages and algebraic systems of generating functions, and the extendibility of statistical models. There is no index. c. Book News Inc.
Author: Wolfram Kahl Publisher: Springer ISBN: 3319247042 Category : Mathematics Languages : en Pages : 401
Book Description
This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.
Author: Harrie de Swart Publisher: Springer Science & Business Media ISBN: 3642210694 Category : Computers Languages : en Pages : 370
Book Description
This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences, which have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. Relational and algebraic methods and software tools turn out to be useful for solving problems in social choice and game theory. For that reason this conference included a special track on Computational Social Choice and Social Software. The 18 papers included were carefully reviewed and selected from 27 submissions. In addition the volume contains 2 invited tutorials and 5 invited talks.
Author: Hassan Aït-Kaci
Author: Michael Joswig
Author: Francisco M. Fernandez
Author: Ruth Breu
Author: Uri M. Ascher
Author: Charles A. Weibel
Author: Martin Wirsing
Author: Marlos A. G. Viana
Author: Wolfram Kahl
Author: Harrie de Swart