Computation with Finitely Presented Groups
Computation with Finitely Presented Groups

Author: Charles C. Sims

Publisher: Cambridge University Press

Published: 1994-01-28

Total Pages: 624

ISBN-13: 0521432138

DOWNLOAD EBOOK

Research in computational group theory, an active subfield of computational algebra, has emphasised three areas: finite permutation groups, finite solvable groups, and finitely presented groups. This book deals with the third of these areas. The author emphasises the connections with fundamental algorithms from theoretical computer science, particularly the theory of automata and formal languages, computational number theory, and computational commutative algebra. The LLL lattice reduction algorithm and various algorithms for Hermite and Smith normal forms from computational number theory are used to study the abelian quotients of a finitely presented group. The work of Baumslag, Cannonito and Miller on computing nonabelian polycyclic quotients is described as a generalisation of Buchberger's Gröbner basis methods to right ideals in the integral group ring of a polycyclic group. Researchers in computational group theory, mathematicians interested in finitely presented groups and theoretical computer scientists will find this book useful.

7th International Conference on Automated Deduction
7th International Conference on Automated Deduction

Author: R. E. Shostak

Publisher: Springer

Published: 2011-05-09

Total Pages: 517

ISBN-13: 0387347682

DOWNLOAD EBOOK

The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, logic programming, formal specification, program synthesis, and related areas. The presented papers include 27 selected by the program committee, an invited keynote address by Jorg Siekmann, and an invited banquet address by Patrick Suppes. Contributions were presented by authors from Canada, France, Spain, the United Kingdom , the United States, and West Germany. The first conference in this series was held a decade earlier in Argonne, Illinois. Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2). Program Committee P. Andrews (CMU) W.W. Bledsoe (U. Texas) past chairman L. Henschen (Northwestern) G. Huet (INRIA) D. Loveland (Duke) past chairman R. Milner (Edinburgh) R. Overbeek (Argonne) T. Pietrzykowski (Acadia) D. Plaisted (U. Illinois) V. Pratt (Stanford) R. Shostak (SRI) chairman J. Siekmann (U. Kaiserslautern) R. Waldinger (SRI) Local Arrangements R. Schwartz (SRI) iv CONTENTS Monday Morning Universal Unification (Keynote Address) Jorg H. Siekmann (FRG) .

Recent Trends in Data Type Specification
Recent Trends in Data Type Specification

Author: Magne Haveraaen

Publisher: Springer Science & Business Media

Published: 1996-09-04

Total Pages: 568

ISBN-13: 9783540616290

DOWNLOAD EBOOK

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.

Term Rewriting
Term Rewriting

Author: Hubert Comon

Publisher: Springer Science & Business Media

Published: 1995-04-25

Total Pages: 236

ISBN-13: 9783540593409

DOWNLOAD EBOOK

This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993. This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of relevance for the broader theoretical computer science community.

Graduate Algebra
Graduate Algebra

Author: Louis Halle Rowen

Publisher: American Mathematical Soc.

Published: 2008

Total Pages: 680

ISBN-13: 9780821884089

DOWNLOAD EBOOK

"This book is an expanded text for a graduate course in commutative algebra, focusing on the algebraic underpinnings of algebraic geometry and of number theory. Accordingly, the theory of affine algebras is featured, treated both directly and via the theory of Noetherian and Artinian modules, and the theory of graded algebras is included to provide the foundation for projective varieties." --Book Jacket.