The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for positivstellensatz with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996-2008 (16) 2009-2020 (15) 2022-2024 (7)
Publication types (Num. hits)
article(23) inproceedings(15)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 17 keywords

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