|
|
|
|
| LEADER |
01373nma a2200277 u 4500 |
| 001 |
EB001966171 |
| 003 |
EBX01000000000000001129073 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
210512 ||| deu |
| 020 |
|
|
|a 9783866441927
|
| 020 |
|
|
|a 1000007229
|
| 100 |
1 |
|
|a Schnurr, Marco
|
| 245 |
0 |
0 |
|a Steigungen höherer Ordnung zur verifizierten globalen Optimierung
|h Elektronische Ressource
|
| 260 |
|
|
|b KIT Scientific Publishing
|c 2007
|
| 300 |
|
|
|a 1 electronic resource (XIII, 172 p. p.)
|
| 653 |
|
|
|a Intervallalgebra
|
| 653 |
|
|
|a Globale Optimierung
|
| 653 |
|
|
|a Automatische Differentiation
|
| 041 |
0 |
7 |
|a deu
|2 ISO 639-2
|
| 989 |
|
|
|b DOAB
|a Directory of Open Access Books
|
| 500 |
|
|
|a Creative Commons (cc), https://creativecommons.org/licenses/by-nc-nd/4.0/
|
| 024 |
8 |
|
|a 10.5445/KSP/1000007229
|
| 856 |
4 |
2 |
|u https://directory.doabooks.org/handle/20.500.12854/60014
|z DOAB: description of the publication
|
| 856 |
4 |
0 |
|u https://www.ksp.kit.edu/9783866441927
|7 0
|x Verlag
|3 Volltext
|
| 520 |
|
|
|a In dieser Arbeit wird die automatische Berechnung von Steigungstupeln zweiter und höherer Ordnung behandelt. Die entwickelten Techniken werden in einem Algorithmus zur verifizierten globalen Optimierung verwendet. Anhand von Testbeispielen auf einem Rechner wird der neue Algorithmus mit einem Algorithmus aus der Literatur verglichen.
|