Related Books
Language: en
Pages: 455
Pages: 455
Type: BOOK - Published: 2019-06-15 - Publisher: Springer
This book consists of short descriptions of 106 mathematical theorems, which belong to the great achievements of 21st century mathematics but require relatively
Language: en
Pages:
Pages:
Type: BOOK - Published: 2019 - Publisher:
This book consists of short descriptions of 106 mathematical theorems, which belong to the great achievements of 21st century mathematics but require relatively
Language: en
Pages: 437
Pages: 437
Type: BOOK - Published: 2021-09-21 - Publisher: Springer Nature
Landscape of 21st Century Mathematics offers a detailed cross section of contemporary mathematics. Important results of the 21st century are motivated and formu
Language: en
Pages: 496
Pages: 496
Type: BOOK - Published: 2016-03-22 - Publisher: Springer
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
Language: en
Pages: 244
Pages: 244
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are se