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 XiangUsing computer algebra to certify the global convergence of a numerical optimization process
History
Journal
Mathematics in computer scienceVolume
1Pagination
291 - 304Location
Basel, SwitzerlandISSN
1661-8270eISSN
1661-8289Language
engPublication classification
C1.1 Refereed article in a scholarly journalUsage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC