Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-3 of  3 results for ""Mathematics""

Your Filters

Language : danish Language : lower sorbian Language : nepali Publisher : hal ccsd
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Exponential lower bound for static semi-algebraic proofs

Subjects: [MATH]Mathematics [math]

  • Source: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://hal.science/hal-03047111 ; Lecture Notes in Computer Science, 2002.

Record details

Read More Add to Saved list
×
Academic Journal

There are no NP_w-hard sets

Subjects: [MATH]Mathematics [math]

  • Source: ISSN: 0097-5397 ; SIAM Journal on Computing ; https://hal.science/hal-03047165 ; SIAM Journal on Computing, 2001.

Record details

Read More Add to Saved list
×
Academic Journal

Complexity of Positivstellensatz proofs for the knapsack

  • Authors : Grigoriev, Dima; Centre National de la Recherche Scientifique (CNRS)

Subjects: [MATH]Mathematics [math]

  • Source: ISSN: 1016-3328.

Record details

Read More Add to Saved list
×
  • 1-3 of  3 results for ""Mathematics""