Arithmetik, Algebra (661 Artikel)

Endlich besser und mehr Spaß in Mathe, Physik und Co. Verstehen statt Formelpauken

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 ...

A Singular Introduction to Commutative Algebra

This volume explores A.P. Morse's (1911-1984) development of a formal language for writing mathematics, his application of that language in set theory and mathematical analysis, and his unique pers...

This volume explores A.P. Morse's (1911-1984) development of a formal language for writing mathematics, his application of that language in set theory and mathematical analysis, and his unique pers...

Explaining key topics at a gentle pace, this book is aimed at undergraduate students. It assumes no prior knowledge of the subject and contains over 500 exercises, half of which have detailed solut...

Arranged in a modular fashion, this text offers the opportunity to explore any of several areas in detail; topics include canonical extensions, completions, representations, varieties, and atom str...

Arranged in a modular fashion, this text offers the opportunity to explore any of several areas in detail; topics include canonical extensions, completions, representations, varieties, and atom str...

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these are...

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these are...

Occasioned by the international conference "Rings and Factorizations" held in February 2018 at University of Graz, Austria, this volume represents a wide range of research trends in the theory of c...

Dieses Buch ist eine moderne Einführung in die Algebra, kompakt geschrieben und mit einem systematischen Aufbau. Der Text kann für eine ein- bis zweisemestrige Vorlesung benutzt werden und deckt al...

Algebra

1 Matrizen.- 1. Matrizenkalkül.- 2. Zeilenreduktion.- 3. Determinanten.- 4. Permutationsmatrizen.- 5. Cramersche Regel.- Aufgaben.- 2 Gruppen.- 1. Die Definition einer Gruppe.- 2. Untergruppen.- 3....

This is the softcover reprint of the English translation of 1974 (available from Springer since 1989) of the first 3 chapters of Bourbaki's 'Algèbre'. It gives a thorough exposition of the fundamen...

Modern societies are awash with data that needs to be manipulated in many different ways: encrypted, compressed, shared between users in a prescribed manner, protected from unauthorised access, and...

0. Mathematische Grundbegriffe.- 1. Mengen.- 2. Relationen und Abbildungen.- 3. Elemente der Wahrscheinlichkeitsrechnung.- Aufgaben.- I. Klassische alaebraische Strukturen.- 1. Halbgruppen und Grup...

This book gathers invited, peer-reviewed works presented at the 2021 edition of the Classical and Constructive Nonassociative Algebraic Structures: Foundations and Applications--CaCNAS: FA 2021, vi...

Through the looking glass: A dictionary between rational homotopy theory and local algebra.- A rational homotopy analog of Whitehead's problem.- Hilbert series of finitely presented algebras.- On e...

In many fields of modern mathematics specialised scientific software becomes increasingly important. Hence, tremendous effort is taken by numerous groups all over the world to develop appropriate s...

With Examples and Exercises

Algebraic Geometry and Geometric Modeling

Summer School, Galatasaray University, Istanbul, 2014

In many areas of mathematics some "higher operations" are arising. These havebecome so important that several research projects refer to such expressions. Higher operationsform new types of algebra...

Assuming only basic algebra and Galois theory, the book develops the method of "algebraic patching" to realize finite groups and, more generally, to solve finite split embedding problems over field...

Algebraische Zahlentheorie

Algebras of Multiplace Functions

Mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima

Algorithmic Mathematics

The sixth Algorithmic Number Theory Symposium was held at the University of Vermont, in Burlington, from 13-18 June 2004. The organization was a joint e?ort of number theorists from around the worl...

Invited Talks.- Computing Pro-P Galois Groups.- The Elliptic Curve Database for Conductors to 130000.- On the Computation of the Coefficients of a Modular Form.- Cohen-Lenstra Heuristics of Quadrat...

The Spirit of Computing

Algorithmen spielen eine immer wichtigere Rolle in fast allen Bereichen der Mathematik.

Das Buch gibt eine Einführung in die elementare Zahlentheorie bis hin zu den quadratischen Zahlkörpern. Damit der Leser die Algorithmen auf seinem PC auch konkret testen kann, werden auf der beigel...

Chapitre 8

From the reviews: "The work is carefully written. It is well motivated, and interesting to read, even if it is not always easy... historical material is included... the author has written excellent...

An Introduction to the Language of Mathematics

An Invitation to General Algebra and Universal Constructions

An Invitation to Mathematical Logic

Producing Prime Numbers via Sieve Methods.- Counting Rational Points on Algebraic Varieties.- Conversations on the Exceptional Character.- Axiomatic Theory of L-Functions: the Selberg Class.

Es gibt zahlreiche wissenschaftliche Studien, die zeigen, wie wichtig frühe mathematische Kenntnisse für den späteren Lernerfolg sind. Der mathematische Anfangsunterricht hat deshalb richtungweisen...

Einen strikten mathematischen Beweis für die Sicherheit der digitalen Signatur gibt es für das 1979 von Michael Oser Rabin vorgeschlagene Verfahren unter der Voraussetzung, dass es praktisch unmögl...

Dr. Stephan Emanuel Bucher unterrichtet Mathematik und Technische Mechanik an der Höheren Fachschule für Technik, Wirtschaft und Informatik INOVATECH, Zofingen.

Owing to the developments and applications of computer science, ma thematicians began to take a serious interest in the applications of number theory to numerical analysis about twenty years ago. T...

Providing an extensive treatment of essential topics such as Gaussian elimination, inner products and norms, and eigenvalues and singular values, this text can be used for an in-depth first course,...

Applied Linear Algebra and Matrix Analysis

Unwinding proofs ('Proof Mining').- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.-...

Unwinding proofs ('Proof Mining').- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.-...

Beginning with an introduction to the writings of the most prominent Arabic logicians, the author scrutinizes these works to determine their categorical logic, as well as their modal and hypothetic...

Arakelov Geometry and Diophantine Applications

Arithmetic Geometry can be defined as the part of Algebraic Geometry connected with the study of algebraic varieties through arbitrary rings, in particular through non-algebraically closed fields. ...

This textbook introduces exciting new developments and cutting-edge results on the theme of hyperbolicity. Written by leading experts in their respective fields, the chapters stem from mini-courses...

This volume contains articles related to the work of the Simons Collaboration "Arithmetic Geometry, Number Theory, and Computation." The papers present mathematical results and algorithms necessary...

VIASM 2018

It was the aim of the Erlangen meeting in May 1988 to bring together number theoretists and algebraic geometers to discuss problems of common interest, such as moduli problems, complex tori, integr...

Arithmetical Rings and Endomorphisms

Dr. Yavuz Can bietet als Freiberufler mit seinem Unternehmen ExposureOne verschiedene Dienstleistungen im Bereich des Data- und Prozessmanagements an. Er lehrt zusätzlich semesterweise an unterschi...

Übersicht.- Übungsaufgaben.- Gruppe A. Vorübungen.- Gruppe B. Grundgesetze des Addierens, Multiplizierens und Potenzierens.- Gruppe C. Die drei Grundoperationen.- Gruppe D. Die drei Grundoperatione...

Classifying generalized quantifiers.- Classification over a predicate II.- Existence of endo-rigid Boolean algebras.- On the no(M) for M of singular power.- Non standard uniserial module over a uni...

Around and Beyond the Square of Opposition

This book gathers together selected contributions presented at the 3rd Moroccan Andalusian Meeting on Algebras and their Applications, held in Chefchaouen, Morocco, April 12-14, 2018, and which ref...

Automatic sequences are sequences which are produced by a finite automaton. Although they are not random they may look as being random. They are complicated, in the sense of not being not ultimatel...

The main focus of this volume is on the problem of describing the automorphism groups of affine and projective varieties, a classical subject in algebraic geometry where, in both cases, the automor...

The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations. Chapt...

The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations. Chapt...

The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations.

The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations.

A Silverman game is a two-person zero-sum game defined in terms of two sets S I and S II of positive numbers, and two parameters, the threshold T > 1 and the penalty v > 0. Players I and II indepen...

Berechnungsmodelle und Unentscheidbarkeit

Frontmatter -- Vorwort zur achten Auflage -- Autoren- und Inhaltsübersicht -- Abkürzungsverzeichnis -- ERSTER ABSCHNITT. Öffentlicher Dienst -- ZWEITER ABSCHNITT. Kommunalrecht -- DRITTER ABSCHNITT...

Das Buch bildet somit eine ideale Grundlage für ein erfolgreiches Studium der Mathematik oder mathematiknaher Fächer. Da nur vergleichsweise wenig mathematisches Vorwissen vorausgesetzt wird, ist d...

In this book binary functions and their representation by implicants or implicates are described. In particular minimal representations by prime implicants or prime implicates are given. Such repre...

This book deals with algorithmic problems concerning binary quadratic forms 2 2 f(X,Y)= aX +bXY +cY with integer coe?cients a, b, c, the mathem- ical theories that permit the solution of these prob...

Aus dem Inhalt: - 1. binomische Formel - 2. binomische Formel - 3. binomische Formel - Nutzung der binomischen Formeln - Beispiele - Quadratische Gleichung lösen

Birational Geometry and Moduli Spaces

Birational Geometry and Moduli Spaces

Biset Functors for Finite Groups

On Commutative Algebra.- On Blocks.- On Essential Algebras.- On Hecke Algebras.- On the Determination of the Rouquier Blocks.

Around 1994 R. Borcherds discovered a new type of meromorphic modular form on the orthogonal group $O(2,n)$. These "Borcherds products" have infinite product expansions analogous to the Dedekind et...

Das Buch enthält 185 vollständige chronologisch geordnete Briefe Cantors aus den verschiedenen Perioden seines Lebens, von denen ein großer Teil erstmals veröffentlicht wird. Aus ihnen wird die Ent...

1/4 : 1/2 = 1/2 - Wieso denn das? Bruchrechen so anschaulich wie möglich unterrichten - das ist die zentrale Aussage Rudolf Steiners zu diesem Thema und auch diejenige, die uns verstehen lässt, war...

Aus dem Inhalt: - Grundlagen der Bruchrechnung - Brüche erweitern - Brüche kürzen - Addition von Brüchen - Subtraktion von Brüchen - Multiplikation von Brüchen - Division von Brüchen - Potenzieren ...

Renate Motzer führt in die Welt der Brüche ein und bringt sie in Verbindung mit Dezimalzahlen. Sie zeigt anschaulich, dass Brüche als Anteile eines Ganzen verstanden werden können, aber auch als Ve...

Grundlagen (4., neubearbeitete Auflage) - Vorkurs für Studienanfänger - Schulbuch mit CD-ROM

Brückenkurs Mathematik

Publishing on Demand