Zobrazeno 1 - 10
of 1 891
pro vyhledávání: '"quantifier elimination"'
Autor:
Farhad Jahanian, Jafar Sadegh Eivazloo
Publikováno v:
Mathematics Interdisciplinary Research, Vol 8, Iss 1, Pp 35-45 (2023)
Pseudo o-minimality is a generalization of o-minimality of linear orders to partial orders. Recently Lei Chen, Niandong Shi and Guohua Wu provided pseudo o-minimality for the class of Stone algebras. In this note we use quantifier elimination propert
Externí odkaz:
https://doaj.org/article/ff82d49d8b8147b29bedf6ee26809f4f
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Abolfazl Alam, Morteza Moniri
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 2, Pp 163-176 (2022)
In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an example, we show that if the theo
Externí odkaz:
https://doaj.org/article/4dca557a86004aa1b3d4cb446999fef0
Autor:
Alam, Abolfazl, Moniri, Morteza
Publikováno v:
Bulletin of the Section of Logic. 51(2):163-176
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1072268
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Rick Voßwinkel, Klaus Röbenack
Publikováno v:
Algorithms, Vol 16, Iss 8, p 389 (2023)
This paper deals with systematic approaches for the analysis of stability properties and controller design for nonlinear dynamical systems. Numerical methods based on sum-of-squares decomposition or algebraic methods based on quantifier elimination a
Externí odkaz:
https://doaj.org/article/91edcd93574249cab25eede186d50bed
Autor:
Vlad Timofte, Aida Timofte
Publikováno v:
Journal of Inequalities and Applications, Vol 2021, Iss 1, Pp 1-22 (2021)
Abstract We show that positivity (≥0) on R + n $\mathbb{R}_{+}^{n}$ and on R n $\mathbb{R}^{n}$ of real symmetric polynomials of degree at most p in n ≥ 2 $n\ge 2$ variables is solvable by algorithms running in polynomial time in the number n of
Externí odkaz:
https://doaj.org/article/c15d32e649fe4ab792f393a2a257f078