Über uns

À propos de nous

Nachhaltigkeit

Durabilité

Open Access

Karriere

Carrière

Datenschutz

Protection des données

Impressum

Mentions légales

Zahlung und Lieferung

Paiement et livraison

LEXIA

LEXIA Arbeitsrecht

Was ist LEXIA?

C'est quoi LEXIA ?

LEXIA Familienrecht

Zeitschriften

Revues

recht

Pflegerecht

ZBJV

forumpoenale

ZStrR

Anwaltsrevue

Revue de l'avocat

RSAS

FamPra.ch

ASYL

Life Science Recht

BlAR

Sachbuch

Livres spécialisés

LOKI

Semaphor

Fokusthemen

Focus

Thema

Recht studieren

Arbeitsrecht

Droit du travail

Studium

Études

Familienrecht

Droit de la famille

Sozialversicherungsrecht

Droit des assurances sociales

Strafrecht

Droit pénal

Publikationen

Publications

Literatur

Onlinemodule LEXIA

Modules en ligne LEXIA

Bücher

Livres

Buchreihen

Collections

Datenbanken

recht.ch

Studienliteratur

Littérature pour les études

Services

Dienstleistungen für

Corporate Books

Publishing Lösungen

Aktuelles

Geschäftskunden

Professionnels

Corporate Publishing

Content solutions

Buchhandlungen

Librairies

Veranstaltungen

Événements

Presse

Dozierende

Enseignants

Studierende

Étudiants

Inserierende

Annonceurs

Newsletter

Blog

Autorinnen/Autoren

Auteurs

Unsere Schreibenden

Hilfe

Unsere Autorinnen und Autoren

Liste

Autorenlounge

Espace des auteurs

Bei uns publizieren

Publier chez nous

Autorenstimmen

Témoignages

Verlag

Éditions

Themen

Mehr wissen

Mitarbeitende

Collaborateurs

Geschichte

Histoire

Vision und Mission

Vision et mission

Unser Magazin

Notre magazine

Unternehmenskultur

Culture d'entreprise

Partner

Partenaires

Kontakt

Contact

Shop

Schweizer Recht

Ausländisches Recht

Über unseren Shop

Neuerscheinungen

Nouveautés

Sortiment und Funktionen

Assortiment et recherche

Vorankündigungen

À paraître

Nach Rechtsgebiet

Par domaine juridique

Kommentare

Commentaires

hep Verlag: Spezialangebot «Formeln» und
«Algebra»

Spezialangebot «Formeln» und «Algebra»

Annals of Mathematics Studies

A comprehensive new theory of adelic line bundles on quasi-projective varieties over finitely generated fieldsThis book introduces a comprehensive theory of adelic line bundles on quasi-projective varieties over finitely generated fields, developed in both geometric and arithmetic contexts. In the geometric setting, adelic line bundles are defined as limits of line bundles on projective compactifications under the boundary topology. In the arithmetic setting, they are defined as limits of Hermitian line bundles on projective arithmetic compactifications, also under the boundary topology. After establishing these foundational definitions, the book uses the theory to explore key concepts such as intersection theory, effective sections, volumes, and positivity of adelic line bundles. It also applies these results to study height functions of algebraic points and prove an equidistribution theorem on quasi-projective varieties. This theory has broad applications in the study of numerical, dynamical, and Diophantine properties of moduli spaces, quasi-projective varieties, and varieties over finitely generated fields.

Adelic Line Bundles on Quasi-projective Varieties

Deutsch kompetent. Ausgabe ab 2023

Weitere Informationen zu diesem Produkt finden Sie unter www.klett.de.

Arbeitsheft mit Medien Klasse 11-13

Deutsch kompetent 11-13. Ausgabe Nordrhein-Westfalen Gymnasium (G9)

Computer Science Foundations and Applied Logic

Since their beginnings in the 1960s, proof assistants (also called interactive theorem provers) have grown to become essential tools to establish the correctness of hardware and software and to computerize mathematical theories.Specifically, proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today these programs are used to verify microprocessor designs, operating systems, compilers, and cryptographic protocols—as well as landmark results in mathematics such as the odd order theorem in finite group theory and the Kepler conjecture about sphere packing. Contemporary proof assistants rely on a sophisticated interaction between theoretical investigations in metamathematics and the efficient implementation of a portfolio of algorithms. This volume is designed to be an introduction to these fascinating topics.Topics and features:<ul><li>Guides the reader through decades of research into designing and using proof assistants</li><li>Provides convenient, appropriate citations for the proof assistants’ underlying logical formalisms, architectures, and applications</li><li>Grounds the exposition by starting with key topics that are treated across all relevant logical foundations and systems, in a system-agnostic and logic-ecumenical way</li><li>Builds on those core topics in the second part, which is dedicated to a gallery of achievements in mathematics and computer science</li></ul>This unique volume is designed to serve as a useful resource both for early or more established researchers in interactive theorem proving and for researchers in mathematics, computer science, and philosophy—as well as for engineers who want to use proof assistants.The volume is edited by Jasmin Blanchette, professor at the Ludwig-Maximilians-Universität München, Germany, and Assia Mahboubi, senior researcher at Inria, France, and endowed professor at the Vrije Universiteit Amsterdam, the Netherlands.

Proof Assistants and Their Applications in Mathematics and Computer Science

Schulbuch mit Medien Klassen 10-12 oder 11-13

Lambacher Schweizer Mathematik Oberstufe mit MMS/CAS. Analysis

De Gruyter Textbook

Numerical Analysis of Stochastic Processes

The aim of this book is to convey to teachers the potential of out-of-school environments for mathematics education. This book is primarily intended to inform teachers about the potential of out-of-school learning environments for mathematics learning/teaching. First of all, these environments will be introduced to teachers. It will be explained in which ways teachers can use these environments to teach mathematical knowledge and concepts. Further, for each chapter addressing challenges identified in the literature regarding the planning of instruction in out-of-school environments, examples of activities will be provided. Accompanied by insights from academics, these activities will illustrate how mathematical concepts can be effectively communicated to secondary school students through engagement with out-of-school environments. This book was written specifically to provide information on how to provide mathematics education in out-of-school environments. A different out-of-school environment will be determined in each department. In this environment, it is aimed to provide students with problem-solving skills by comparing them with original problems in real-life situations. In addition, collaborative education comes to the fore in the activities used in these environments and is expected to help students develop communication skills such as mathematical language. Apart from this, these activities also aim to provide students with some basic skills such as cultural, historical, economic, and nature awareness. The book's target audience includes teachers, educators/facilitators, teacher educators, curriculum developers, and early-career researchers as well as established researchers. Especially after Covid, the importance of mathematics education outside of school has increased. There are not many resources in the literature for teachers to provide mathematics education in out-of-school environments. First of all, in the book, the educational potential of different environments (museums, zoos, science centers, etc.) will be discussed within the framework of the literature, and then activities that can be used in mathematics education in these environments will be designed. This book will guide teachers theoretically and practically on how to provide education in out-of-school environments. It will also be the main source for researchers who want to conduct academic studies in out-of-school mathematics teaching.

A Guide for Expansive Learning in Out-of-School Environments

Mathematics Beyond the Classroom

Mathematical Foundation of the Boundary Integro-Differential Equation Method

Leben gestalten. Ausgabe S ab 2025

Schulbuch Klasse 7/8

Leben gestalten 2

Calculus for the Curious

De Gruyter Series in Applied and Numerical Mathematics

Advanced Computational Approaches for Rarefied Flows

Beyond Navier-Stokes

This textbook presents an introduction to continuum mechanics covering fundamental mathematical tools, general laws and major models. The material is based on lectures held at Gubkin's Russian State University of Oil and Gas. It also includes material related to a joint research seminar with the Institute of Problems in Mechanics of the Russian Academy of Science. The knowledge provided is necessary to understand the structure of existing models, to read and understand the literature and to apply existing methods consciously. Results from computer simulations of virtual models of oil-gas-production are presented to illustrate applications.&nbsp;Graduate students as well as researchers in applied mathematics will benefit from this self-contained text which is enriched by many examples and exercises.
&nbsp;

Spezialangebot «Formeln» und «Algebra»

Autres titres sur ce thème