Author image not provided
 Victor Magron

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article1.00
Citation Count4
Publication count4
Publication years2013-2017
Available for download1
Average downloads per article89.00
Downloads (cumulative)89
Downloads (12 Months)89
Downloads (6 Weeks)6
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author




BOOKMARK & SHARE


4 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 4 of 4
Sort by:

1 published by ACM
January 2017 ACM Transactions on Mathematical Software (TOMS): Volume 43 Issue 4, March 2017
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 12,   Downloads (12 Months): 88,   Downloads (Overall): 88

Full text available: PDFPDF
Roundoff errors cannot be avoided when implementing numerical programs with finite precision. The ability to reason about rounding is especially important if one wants to explore a range of potential representations, for instance, for FPGAs or custom hardware implementations. This problem becomes challenging when the program does not employ solely ...
Keywords: floating-point arithmetic, polynomial optimization, Correlation sparsity pattern, roundoff error, semidefinite programming, transcendental functions, formal verification, proof assistant

2
July 2015 Mathematical Programming: Series A and B: Volume 151 Issue 2, July 2015
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 1

We consider the problem of certifying lower bounds for real-valued multivariate transcendental functions. The functions we are dealing with are nonlinear and involve semialgebraic operations as well as some transcendental functions like $$\cos ,\,\arctan ,\,\exp $$cos,arctan,exp, etc. Our general framework is to use different approximation methods to relax the original ...
Keywords: 90C59, Nonlinear template method, Polynomial optimization problems, 41A10, Certified global optimization, Semialgebraic relaxations, Semidefinite programming, 41A50, 90C22, 11E25, 90C26, Maxplus approximation

3
September 2014 Operations Research Letters: Volume 42 Issue 6, September, 2014
Publisher: Elsevier Science Publishers B. V.
Bibliometrics:
Citation Count: 0

We approximate as closely as desired the Pareto curve associated with bicriteria polynomial optimization problems. We use three formulations (including the weighted sum approach and the Chebyshev approximation) and each of them is viewed as a parametric polynomial optimization problem. For each case is associated a hierarchy of semidefinite relaxations ...
Keywords: Pareto curve, Sums of squares relaxations, Inverse problem from generalized moments, Parametric polynomial optimization problems, Multicriteria optimization, Semidefinite programming

4
July 2013 CICM'13: Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 2

The aim of this work is to certify lower bounds for real-valued multivariate functions, defined by semialgebraic or transcendental expressions. The certificate must be, eventually, formally provable in a proof system such as Coq. The application range for such a tool is widespread; for instance Hales' proof of Kepler's conjecture ...
Keywords: flyspeck project, max-plus approximation, quadratic cuts, semialgebraic relaxations, semidefinite programming, transcendental functions, hybrid symbolicnumeric certification, polynomial optimization problems, proof assistant, templates method



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us