LAP Lambert Academic Publishing ( 10.09.2014 )
€ 82,90
Цель настоящей небольшой книги - ввести читателя в обширную область исследований, посвященную обоснованию гипотез формальных теорий с использованием компьютерных методов. Она формируется шесть последних десятилетий на основе математической логики, теории чисел, алгебры, алгебраической геометрии, анализа, численных методов и компьютерных наук. Среди теоретико-числовых, алгебраических и арифметико-геометрических объектов, изучаемых в книге, присутствуют формальные системы, диофантовы уравнения, алгебраические кривые, пространства модулей, критические решетки и определители. Приведен ряд современных конструкций, позволяющих компьютерное исследование этих объектов. Изложение следует не вкусам и интересам автора, а целям обоснования гипотез, возникших при исследовании классических проблем. В книге излагаются как начальные, так и фундаментальные результаты геометрии чисел и теории алгебраических многообразий. Книга содержит открытые проблемы и отвечающие им гипотезы.
Kitap detayları: |
|
ISBN-13: |
978-3-659-58011-6 |
ISBN-10: |
3659580112 |
EAN: |
9783659580116 |
Kitabın dili: |
Russian |
Yazar: |
Николай Глазунов |
Sayfa sayısı: |
288 |
Yayın tarihi: |
10.09.2014 |
Kategori: |
Matematik |