1.

Record Nr.

UNISA996321091003316

Titolo

Formalized mathematics : a computer assisted approach

Pubbl/distr/stampa

[Bialystok, Poland] : , : University of Białystok

Warsaw, Poland : , : De Gruyter Open

ISSN

1898-9934

Soggetti

Mathematics

Logic, Symbolic and mathematical

Mathematical analysis - Foundations

Arithmetic - Foundations

Electronic journals.

Periodicals.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Periodico

Note generali

Refereed/Peer-reviewed



2.

Record Nr.

UNINA9910633918503321

Autore

Neukirchen Florian

Titolo

The Formation of Mountains / / by Florian Neukirchen

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022

ISBN

9783031113857

9783031113840

Edizione

[1st ed. 2022.]

Descrizione fisica

1 online resource (544 pages)

Collana

Earth and Environmental Science Series

Disciplina

551.41

551.432

Soggetti

Geology

Geomorphology

Petrology

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

1. The structure of mountains -- 2. The cycle of rocks -- 3. Moving plates -- 4. Mountains over subducting plates: subduction zones -- 5. Lateral shifts with complications -- 6. The roof of the world: High mountains in Asia -- 7. Great rifts and hot spots -- 8. The Alps and their siblings.

Sommario/riassunto

Mountains as we know them were formed by a wide range of processes. This vivid introduction explains the course of orogeny (mountain formation) and the resulting structures, the cycles of plate tectonics and the evolution of landforms. It also presents surprising findings from the latest research. Popular travel destinations are described in detail – ideal when preparing for a trip – while a wealth of photos and graphics illustrate the text. Why are mountains as tall as they are? How does high-pressure rock come to the surface? Is there feedback between tectonics and the climate? How can mountains form without continental collision, far away from any plate boundaries? And how do we know all this? These and many other questions will be answered.