2 papers
cs.SC2026
Computing Certificates in Archimedean Univariate Saturated Quadratic Modules
Jose Abel Castellanos-Joo, Deepak Kapur
A new symbolic algorithm to compute sums of squares multipliers (certificates) to witness the membership of non-negative univariate polynomials in a saturated univariate quadratic…
cs.DC2017
Beating the Multiplicative Weights Update Algorithm
Abhinav Aggarwal, José Abel Castellanos Joo, Diksha Gupta
Multiplicative weights update algorithms have been used extensively in designing iterative algorithms for many computational tasks. The core idea is to maintain a distribution over…