Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078561631> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2078561631 endingPage "160" @default.
- W2078561631 startingPage "153" @default.
- W2078561631 abstract "We introduce two versions of proof systems dealing with systems of inequalities: Positivstellensatz refutations and Positivstellensatz calculus. For both systems we prove the lower bounds on degrees and lengths of derivations for the example due to Lazard, Mora and Philippon. These bounds are sharp, as well as they are for the Nullstellensatz refutations and for the polynomial calculus. The bounds demonstrate a gap between the Null- and Positivstellensatz refutations on one hand, and the polynomial calculus and Positivstellensatz calculus on the other." @default.
- W2078561631 created "2016-06-24" @default.
- W2078561631 creator A5019911905 @default.
- W2078561631 creator A5058530409 @default.
- W2078561631 date "2001-12-01" @default.
- W2078561631 modified "2023-10-01" @default.
- W2078561631 title "Complexity of Null- and Positivstellensatz proofs" @default.
- W2078561631 cites W1968655942 @default.
- W2078561631 cites W2012805418 @default.
- W2078561631 cites W2022749269 @default.
- W2078561631 cites W2026189949 @default.
- W2078561631 cites W2037615924 @default.
- W2078561631 cites W2045652876 @default.
- W2078561631 cites W2056382067 @default.
- W2078561631 cites W2085352155 @default.
- W2078561631 cites W2093396771 @default.
- W2078561631 cites W2096901933 @default.
- W2078561631 cites W2098642112 @default.
- W2078561631 cites W2106264302 @default.
- W2078561631 cites W2132489129 @default.
- W2078561631 cites W2323554188 @default.
- W2078561631 cites W2492280620 @default.
- W2078561631 doi "https://doi.org/10.1016/s0168-0072(01)00055-0" @default.
- W2078561631 hasPublicationYear "2001" @default.
- W2078561631 type Work @default.
- W2078561631 sameAs 2078561631 @default.
- W2078561631 citedByCount "92" @default.
- W2078561631 countsByYear W20785616312012 @default.
- W2078561631 countsByYear W20785616312013 @default.
- W2078561631 countsByYear W20785616312014 @default.
- W2078561631 countsByYear W20785616312015 @default.
- W2078561631 countsByYear W20785616312016 @default.
- W2078561631 countsByYear W20785616312017 @default.
- W2078561631 countsByYear W20785616312018 @default.
- W2078561631 countsByYear W20785616312019 @default.
- W2078561631 countsByYear W20785616312020 @default.
- W2078561631 countsByYear W20785616312021 @default.
- W2078561631 countsByYear W20785616312022 @default.
- W2078561631 countsByYear W20785616312023 @default.
- W2078561631 crossrefType "journal-article" @default.
- W2078561631 hasAuthorship W2078561631A5019911905 @default.
- W2078561631 hasAuthorship W2078561631A5058530409 @default.
- W2078561631 hasBestOaLocation W20785616312 @default.
- W2078561631 hasConcept C108710211 @default.
- W2078561631 hasConcept C118615104 @default.
- W2078561631 hasConcept C134306372 @default.
- W2078561631 hasConcept C136119220 @default.
- W2078561631 hasConcept C199343813 @default.
- W2078561631 hasConcept C202444582 @default.
- W2078561631 hasConcept C2524010 @default.
- W2078561631 hasConcept C2777686260 @default.
- W2078561631 hasConcept C33923547 @default.
- W2078561631 hasConcept C71924100 @default.
- W2078561631 hasConcept C90119067 @default.
- W2078561631 hasConceptScore W2078561631C108710211 @default.
- W2078561631 hasConceptScore W2078561631C118615104 @default.
- W2078561631 hasConceptScore W2078561631C134306372 @default.
- W2078561631 hasConceptScore W2078561631C136119220 @default.
- W2078561631 hasConceptScore W2078561631C199343813 @default.
- W2078561631 hasConceptScore W2078561631C202444582 @default.
- W2078561631 hasConceptScore W2078561631C2524010 @default.
- W2078561631 hasConceptScore W2078561631C2777686260 @default.
- W2078561631 hasConceptScore W2078561631C33923547 @default.
- W2078561631 hasConceptScore W2078561631C71924100 @default.
- W2078561631 hasConceptScore W2078561631C90119067 @default.
- W2078561631 hasIssue "1-3" @default.
- W2078561631 hasLocation W20785616311 @default.
- W2078561631 hasLocation W20785616312 @default.
- W2078561631 hasLocation W20785616313 @default.
- W2078561631 hasLocation W20785616314 @default.
- W2078561631 hasLocation W20785616315 @default.
- W2078561631 hasLocation W20785616316 @default.
- W2078561631 hasLocation W20785616317 @default.
- W2078561631 hasLocation W20785616318 @default.
- W2078561631 hasLocation W20785616319 @default.
- W2078561631 hasOpenAccess W2078561631 @default.
- W2078561631 hasPrimaryLocation W20785616311 @default.
- W2078561631 hasRelatedWork W1577976412 @default.
- W2078561631 hasRelatedWork W1944695814 @default.
- W2078561631 hasRelatedWork W1987272770 @default.
- W2078561631 hasRelatedWork W1995284689 @default.
- W2078561631 hasRelatedWork W2009896212 @default.
- W2078561631 hasRelatedWork W2025910816 @default.
- W2078561631 hasRelatedWork W2143578351 @default.
- W2078561631 hasRelatedWork W2321824256 @default.
- W2078561631 hasRelatedWork W2333819912 @default.
- W2078561631 hasRelatedWork W4210984194 @default.
- W2078561631 hasVolume "113" @default.
- W2078561631 isParatext "false" @default.
- W2078561631 isRetracted "false" @default.
- W2078561631 magId "2078561631" @default.
- W2078561631 workType "article" @default.