Quantified System
المؤلف:
Strzebonski, A
المصدر:
"Solving Algebraic Inequalities." Mathematica J. 7,
الجزء والصفحة:
525-541
8-2-2022
1224
Quantified System
A quantified system of real algebraic equations and inequalities in variables ![<span style=]()
{x_1,...,x_n}" src="https://mathworld.wolfram.com/images/equations/QuantifiedSystem/Inline1.svg" style="height:22px; width:86px" /> is an expression
where 
is a quantifier (
or 
) and 
is a system of real algebraic equations and inequalities in ![<span style=]()
{x_1,...,x_n;y_1,...,y_m}" src="https://mathworld.wolfram.com/images/equations/QuantifiedSystem/Inline6.svg" style="height:22px; width:175px" />. By Tarski's theorem, the solution set of a quantified system of real algebraic equations and inequalities is a semialgebraic set.
REFERENCES
Strzebonski, A. "Solving Algebraic Inequalities." Mathematica J. 7, 525-541, 2000.
الاكثر قراءة في المنطق
اخر الاخبار
اخبار العتبة العباسية المقدسة
