Related Books

Theorems of the 21st Century
Language: en
Pages: 455
Authors: Bogdan Grechuk
Categories: Mathematics
Type: BOOK - Published: 2019-06-15 - Publisher: Springer

DOWNLOAD EBOOK

This book consists of short descriptions of 106 mathematical theorems, which belong to the great achievements of 21st century mathematics but require relatively
Theorems of the 21st Century
Language: en
Pages:
Authors: Bogdan Grechuk
Categories: Induction (Mathematics)
Type: BOOK - Published: 2019 - Publisher:

DOWNLOAD EBOOK

This book consists of short descriptions of 106 mathematical theorems, which belong to the great achievements of 21st century mathematics but require relatively
Landscape of 21st Century Mathematics
Language: en
Pages: 437
Authors: Bogdan Grechuk
Categories: Mathematics
Type: BOOK - Published: 2021-09-21 - Publisher: Springer Nature

DOWNLOAD EBOOK

Landscape of 21st Century Mathematics offers a detailed cross section of contemporary mathematics. Important results of the 21st century are motivated and formu
The Universe of Conics
Language: en
Pages: 496
Authors: Georg Glaeser
Categories: Mathematics
Type: BOOK - Published: 2016-03-22 - Publisher: Springer

DOWNLOAD EBOOK

This text presents the classical theory of conics in a modern form. It includes many novel results that are not easily accessible elsewhere. The approach combin
Automated Theorem Proving
Language: en
Pages: 244
Authors: Monty Newborn
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are se