A second-order pruning step for verified global optimization / Marco Schnurr
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung Preprint ; 2007,10Publisher: Karlsruhe, 2007Description: Online-RessourceAdditional physical formats: Druckausg.: A second-order pruning step for verified global optimization. Karlsruhe : Universität Karlsruhe, Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, 2007. 29 S.Online resources: PPN: PPN: 164687403XNo physical items for this record