Keywords: حذف Quantifier; 14P10; 03C10; 14Q20; 12D15; Quantifier elimination; Real closed fields; Thom encoding; Sign determination;
مقالات ISI حذف Quantifier (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: حذف Quantifier; 03C10; 03C15; 54E35; 20N02; Urysohn space; Four-values condition; Quantifier elimination;
Keywords: حذف Quantifier; Weak Nilpotent Minimum; Deductive Interpolation; Amalgamation; Quantifier elimination
Keywords: حذف Quantifier; Semialgebraic sets; Cylindrical algebraic decomposition; Solving inequalities; Quantifier elimination;
Keywords: حذف Quantifier; 03C10; 14Q15; 68W30Exponential polynomials; Cylindrical algebraic decomposition; Quantifier elimination; Decision procedures; Interval arithmetic
Keywords: حذف Quantifier; Asymptotic couples; Logarithmic transseries; Quantifier elimination
Keywords: حذف Quantifier; Quantifier elimination; Cylindrical algebraic decomposition; Regular chains; Triangular decomposition
Keywords: حذف Quantifier; 03C10; 03C40; 03C60; 03C95Model theory of restricted products; Adeles of a number field; Quantifier elimination; Feferman–Vaught theorems; Hyperrings; Valued fields
Automatic generation of bounds for polynomial systems with application to the Lorenz system
Keywords: حذف Quantifier; Invariant sets; Positive invariant sets; Lyapunov techniques; Quantifier elimination; Lorenz system; 34D45; 37C70; 37C75;
Derivation of conditions of complete contact for a beam on a tensionless Winkler elastic foundation with Mathematica
Keywords: حذف Quantifier; Beams; Winkler elastic foundation; Tensionless foundation; Contact conditions; Quantifier elimination
Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework
Keywords: حذف Quantifier; Software verification; Formal methods; Invariant discovery; Satisfiability modulo theory; Quantifier elimination;
Special algorithm for stability analysis of multistable biological regulatory systems
Keywords: حذف Quantifier; Quantifier elimination; Root classification; Biological regulation system; Stability
Cylindrical decomposition for systems transcendental in the first variable
Keywords: حذف Quantifier; Cylindrical decomposition; Equation and inequality solving; Transcendental equations; Quantifier elimination
A recursive algorithm for constructing complicated Dixon matrices
Keywords: حذف Quantifier; Dixon polynomial; Dixon matrix; Quantifier elimination; Formal power series
Models and quantifier elimination for quantified Horn formulas
Keywords: حذف Quantifier; Quantified Boolean formula; Quantified Horn formula; Model; Quantifier elimination; Satisfiability
The Maple package SyNRAC and its application to robust control design
Keywords: حذف Quantifier; Robust control; Design; Symbolic computation; Quantifier elimination; SyNRAC
Derivation of rigorous conditions for high cell-type diversity by algebraic approach
Keywords: حذف Quantifier; Cell-type diversity; Lindenmayer system; Quantifier elimination; Algebraic computation
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems
Keywords: حذف Quantifier; reliable mathematics; formal methods; quantifier elimination; control systems; Maple-PVS; QEPCAD;
Out of order quantifier elimination for Standard Quantified Linear Programs
Keywords: حذف Quantifier; Quantified Linear Programs; Quantifier elimination; Out of order;
The elementary theory of Dedekind cuts in polynomially bounded structures
Keywords: حذف Quantifier; primary; 03C64; secondary; 03C10; Dedekind cut; Quantifier elimination; Polynomially bounded; O-minimality; Model theory;