Sciweavers

Share
2 search results - page 1 / 1
» Verifying Nonlinear Real Formulas Via Sums of Squares
Sort
View
TPHOL
2007
IEEE
9 years 8 months ago
Verifying Nonlinear Real Formulas Via Sums of Squares
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
John Harrison
CORR
2016
Springer
80views Education» more  CORR 2016»
3 years 10 months ago
Additive Approximations in High Dimensional Nonparametric Regression via the SALSA
High dimensional nonparametric regression is an inherently diļ¬ƒcult problem with known lower bounds depending exponentially in dimension. A popular strategy to alleviate this cur...
Kirthevasan Kandasamy, Yaoliang Yu
books