Complexity of semialgebraic proofs

類似資料

• Complexity of semi−algebraic proofs
  著者:: Grigoriev, D, 等
  出版事項: (2002)
• The Semialgebraic Orbit Problem
  著者:: Almagor, S, 等
  出版事項: (2019)
• Complexity of semi-algebraic proofs
  著者:: Grigoriev, Dima, 等
  出版事項: (2013)
• On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
  著者:: D'Costa, J, 等
  出版事項: (2021)
• Efficient simplicial replacement of semialgebraic sets
  著者:: Saugata Basu, 等
  出版事項: (2023-01-01)