File(s) under permanent embargo

Using computer algebra to certify the global convergence of a numerical optimization process

journal contribution
posted on 2007-12-01, 00:00 authored by Nong Gu, D Lazard, F Rouillier, Yong XiangYong Xiang
Using computer algebra to certify the global convergence of a numerical optimization process

History

Journal

Mathematics in computer science

Volume

1

Issue

2

Pagination

291 - 304

Publisher

Springer

Location

Basel, Switzerland

ISSN

1661-8270

eISSN

1661-8289

Language

eng

Publication classification

C1.1 Refereed article in a scholarly journal