Избранные диссертации по интервальному анализу
и смежным вопросам
- П.С. Венгерский
Применение интервального анализа для построения и исследования эффективных итерационных методов решения некоторых классов задач. – Львов, 1992.
-
Диссертация на соискание учёной степени кандидата физико-математических
наук по специальности 05.13.16 «применение вычислительной техники, математических
методов и математического моделирования в научных исследованиях».
PDF-файл
(объём 24 Mb)
- Е.К. Костоусова
Полиэдральные аппроксимации в задачах гарантированного управления и оценивания. – Екатеринбург, 2005.
-
Диссертация на соискание учёной степени доктора физико-математических
наук по специальностям 01.01.02 «дифференциальные уравнения»
и 01.01.07 «вычислительная математика».
PDF-файл
(объём 1.6 Mb)
- В.М. Нестеров
Твинные арифметики и их применение в методах и алгоритмах двустороннего интервального оценивания. – Санкт-Петербург, 1999.
-
Диссертация на соискание учёной степени доктора физико-математических
наук по специальности 05.13.16 «Применение вычислительной техники,
математического моделирования и математических методов в научных
исследованиях».
PDF-файл
(объём 16 Mb)
- Н.В. Панов
Разработка рандомизированных алгоритмов в интервальной глобальной оптимизации. – Новосибирск, 2012.
-
Диссертация на соискание учёной степени кандидата физико-математических
наук по специальности 01.01.07 «вычислительная математика».
PDF-файл
(объём 6.3 Mb)
- А.Н. Рогалёв
Верхние и нижние оценки множеств решений систем обыкновенных дифференциальных уравнений с интервальными параметрами. – Красноярск, 1996.
-
Диссертация на соискание учёной степени кандидата физико-математических наук
по специальности 01.01.07 «вычислительная математика».
PDF-файл
(объём 530 Kb)
- С.П. Шарый
Интервальные алгебраические задачи и их численное решение. – Новосибирск, 2000.
-
Диссертация на соискание учёной степени доктора физико-математических наук
по специальности 01.01.07 «вычислительная математика».
PDF-файл
(объём 2.8 Mb)
- С.А. Югай
Разработка и применение функционально-интервального анализа для обеспечения доказательности вычислений на ЭВМ. – Фрунзе, 1988.
-
Диссертация на соискание учёной степени кандидата физико-математических наук
по специальности 01.01.07 «вычислительная математика».
PDF-файл
(объём 19 Mb)
- Christian Bliek
Computer methods for design automation. – Department of Ocean Engineering, Massachusetts Institute of Technology, 1992.
-
Ph.D. dissertation.
PDF-файл
(объём 9.2 Mb)
- Alexandre Goldsztejn
Définition et applications des extensions des fonctions réeles aux intervalles généralisés. Révision de la théorie des intervalles modaux et nouveaux résultats. – Nice – Sophia-Antipolis, 2005.
-
Doctorat de l'université de Nice – Sophia-Antipolis
(spécialité informatique).
PDF-файл
(объём 1.2 Mb)
- Edgar Kaucher
Über metrische und algebraische Eigenschaften einiger beim numerischen Rechnen auftretender Räume. – Karlsruhe, 1973.
-
Zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften
von der Vakultät für Naturwissenschaftern I der Univesität Karlsruhe, genehmigte Dissertation. PDF-файл (объём 20 Mb) - Antony P. Leclerc
Efficient and reliable global optimization. – Columbus, Ohio, 1992.
-
Ph.D. dissertation in the Graduate School of The Ohio State University.
PDF-файл
(объём 540 Kb)
- Otto Mayer
Über die in der Intervallrechnung auftretenden Räume und die einige Anwendungen. – Karlsruhe, 1968.
-
Dissertation zur Erlangung des akademischen Grades
eines "Doktors der Naturwissenschaften".
PDF-файл
(объём 2.9 Mb)
- Ramon E. Moore
Interval arithmetic and automatic error analysis in digital computing. -
Ph.D. dissertation, Department of Mathematics, Stanford University, Stanford,
California, Nov. 1962. Published as Applied Mathematics and Statistics
Laboratories Technical Report No. 25.
PDF-файл
(объём 6 Mb)
- Ned Nedialkov
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation. – Toronto, 1999.
-
A thesis submitted in conformity with the requirements for the degree
of Doctor of Philosophy, Graduate Department of Computer Science, University
of Toronto.
PDF-файл
(объём 900 Kb)
- Dietmar Ratz
Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. – Karlsruhe, 1992.
-
Dissertation von Doctors der Naturwissenschaften.
PDF-файл
(объём 1 Mb)
- Volker Stahl
Interval methods for bounding the range of polynomials and solving systems of nonlinear equations. – Linz, 1995.
- Dissertation zur Erlangung des akademischen Grades "Doktor der technischen Wissenschaften". PDF-файл (объём 2 Mb)