LAP Lambert Academic Publishing ( 10.09.2014 )
€ 82,90
Цель настоящей небольшой книги - ввести читателя в обширную область исследований, посвященную обоснованию гипотез формальных теорий с использованием компьютерных методов. Она формируется шесть последних десятилетий на основе математической логики, теории чисел, алгебры, алгебраической геометрии, анализа, численных методов и компьютерных наук. Среди теоретико-числовых, алгебраических и арифметико-геометрических объектов, изучаемых в книге, присутствуют формальные системы, диофантовы уравнения, алгебраические кривые, пространства модулей, критические решетки и определители. Приведен ряд современных конструкций, позволяющих компьютерное исследование этих объектов. Изложение следует не вкусам и интересам автора, а целям обоснования гипотез, возникших при исследовании классических проблем. В книге излагаются как начальные, так и фундаментальные результаты геометрии чисел и теории алгебраических многообразий. Книга содержит открытые проблемы и отвечающие им гипотезы.
Детали книги: |
|
ISBN-13: |
978-3-659-58011-6 |
ISBN-10: |
3659580112 |
EAN: |
9783659580116 |
Язык книги: |
Russian |
By (author) : |
Николай Глазунов |
Количество страниц: |
288 |
Опубликовано: |
10.09.2014 |
Категория: |
Математика |