Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
106 | Dima Grigoriev |
Complexity of Positivstellensatz proofs for the knapsack. |
Comput. Complex. |
2001 |
DBLP DOI BibTeX RDF |
Polynomial calculus, Positivstellensatz proofs, complexity of the knapsack |
44 | Arist Kojevnikov, Dmitry Itsykson |
Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies. |
ICALP (1) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Alexandre V. Evfimievski, Ronald Fagin, David P. Woodruff |
Epistemic privacy. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
positivstellensatz, privacy, auditing, query logs, disclosure, reasoning about knowledge, supermodularity |
29 | Lorenzo Baldi, Lucas Slot |
Degree Bounds for Putinar's Positivstellensatz on the Hypercube. |
SIAM J. Appl. Algebra Geom. |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Monique Laurent, Lucas Slot |
An effective version of Schmüdgen's Positivstellensatz for the hypercube. |
Optim. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Ngoc Hoang Anh Mai, Victor Magron, Jean B. Lasserre |
A Sparse Version of Reznick's Positivstellensatz. |
Math. Oper. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Lorenzo Baldi, Bernard Mourrain |
On the effective Putinar's Positivstellensatz and moment approximation. |
Math. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Alexander Müller-Hermes, Ion Nechita, David Reeb |
A refinement of Reznick's Positivstellensatz with applications to quantum information theory. |
Quantum |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Marianne Akian, Antoine Béreau, Stéphane Gaubert |
The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Ngoc Hoang Anh Mai, Victor Magron |
On the complexity of Putinar-Vasilescu's Positivstellensatz. |
J. Complex. |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Igor Klep, Jiawang Nie |
A Matrix Positivstellensatz with Lifting Polynomials. |
SIAM J. Optim. |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Vito Cerone, Valentino Razza, Diego Regruto |
H∞mixed-sensitivity design with fixed structure controller through Putinar positivstellensatz. |
ACC |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Albert Atserias, Tuomas Hakoniemi |
Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs. |
CCC |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Albert Atserias, Tuomas Hakoniemi |
Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
29 | Mareike Dressler, Sadik Iliman, Timo de Wolff |
A Positivstellensatz for Sums of Nonnegative Circuit Polynomials. |
SIAM J. Appl. Algebra Geom. |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Alissa Ully Ashar, Motoyasu Tanaka, Kazuo Tanaka |
Positivstellensatz relaxation for sum-of-squares stabilization conditions of polynomial fuzzy systems. |
IFSA-SCIS |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Krishnendu Chatterjee, Hongfei Fu 0001, Amir Kafshdar Goharshady |
Termination Analysis of Probabilistic Programs through Positivstellensatz's. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
29 | Krishnendu Chatterjee, Hongfei Fu 0001, Amir Kafshdar Goharshady |
Termination Analysis of Probabilistic Programs Through Positivstellensatz's. |
CAV (1) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Peter J. C. Dickinson, Janez Povh |
On an extension of Pólya's Positivstellensatz. |
J. Glob. Optim. |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Quentin Brouette |
A nullstellensatz and a positivstellensatz for ordered differential fields. |
Math. Log. Q. |
2013 |
DBLP DOI BibTeX RDF |
|
29 | László Lovász 0001, Balázs Szegedy |
Random graphons and a weak Positivstellensatz for graphs. |
J. Graph Theory |
2012 |
DBLP DOI BibTeX RDF |
|
29 | David Monniaux, Pierre Corbineau |
On the Generation of Positivstellensatz Witnesses in Degenerate Cases |
CoRR |
2011 |
DBLP BibTeX RDF |
|
29 | David Monniaux, Pierre Corbineau |
On the Generation of Positivstellensatz Witnesses in Degenerate Cases. |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Jiawang Nie, Markus Schweighofer |
On the complexity of Putinar's Positivstellensatz. |
J. Complex. |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Bogdan Dumitrescu |
Positivstellensatz for Trigonometric Polynomials and Multidimensional Stability Tests. |
IEEE Trans. Circuits Syst. II Express Briefs |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Markus Schweighofer |
On the complexity of Schmu"dgen's Positivstellensatz. |
J. Complex. |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Dima Grigoriev |
Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Dima Grigoriev, Nicolai N. Vorobjov Jr. |
Complexity of Null-and Positivstellensatz proofs. |
Ann. Pure Appl. Log. |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Gilbert Stengle |
Complexity Estimates for the Schmu"dgen Positivstellensatz. |
J. Complex. |
1996 |
DBLP DOI BibTeX RDF |
|
22 | J. William Helton, Jiawang Nie |
Semidefinite representation of convex sets. |
Math. Program. |
2010 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 46N10, 47N10, 90C25, 65K05, 90C22 |
22 | André Platzer, Jan-David Quesel, Philipp Rümmer |
Real World Verification. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
hybrid systems, software verification, decision procedures, Real-closed fields |
22 | Andrew C. Doherty, Yeong-Cherng Liang, Ben Toner, Stephanie Wehner |
The Quantum Moment Problem and Bounds on Entangled Multi-prover Games. |
CCC |
2008 |
DBLP DOI BibTeX RDF |
quantum entanglement, nonlocal games, multi-prover interactive proof systems |
22 | Pablo A. Parrilo |
SOS Methods for Semi-algebraic Games and Optimization. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Hans van Maaren, Linda van Norden |
Sums of Squares, Satisfiability and Maximum Satisfiability. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Pablo A. Parrilo |
Sums of squares of polynomials and their applications. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
semidefinite programming, convex optimization, multivariate polynomials, sum of squares |
22 | Pablo A. Parrilo |
Semidefinite programming relaxations for semialgebraic problems. |
Math. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Dima Grigoriev, Edward A. Hirsch, Dmitrii V. Pasechnik |
Exponential Lower Bound for Static Semi-algebraic Proofs. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Dima Grigoriev, Edward A. Hirsch, Dmitrii V. Pasechnik |
Complexity of Semi-algebraic Proofs. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|