Arithmetik, Algebra (491 Artikel)

Preliminaries.- Extensions of structure.- The category G..- Examples.

Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application of PROLOG in symbolic computing.- Using meta-level inference for selective application of multiple ...

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference comm...

Author Index.- Source Index.- Miscellaneous Indexes.

Author Index.- Source Index.- Miscellaneous Indexes.

This textbook offers a thorough, modern introduction into commutative algebra. It is intented mainly to serve as a guide for a course of one or two semesters, or for self-study. The carefully selec...

A Course in Enumeration

The purpose of this monograph is to develop a very general approach to the algebra ization of sententiallogics, to show its results on a number of particular logics, and to relate it to other exist...

Locally compact groupoids.- The C*-algebra of a groupoid.- Some examples.

This book outlines a vast array of techniques and methods regarding model categories, without focussing on the intricacies of the proofs. Quillen model categories are a fundamental tool for the und...

Algebraic Equations.- Three Muslimic Authors.- Algebra in Italy.- From Viète to Descartes.- The Predecessors of Galois.- Carl Friedrich Gauss.- Evariste Galois.- Camille Jordan.- Groups.- Early Gro...

A Tribute to Ji?í Matou?ek

From Finite Groups to Quivers via Algebras

A Primer of Subquasivariety Lattices

Progressing from the fundamentals of number theory through to Gauss sums and quadratic reciprocity, the first part of this text presents an innovative first course in elementary number theory. The ...