Search results for "positivstellensatz"

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