Efficient Algorithms for MultiPolynomial Resultant.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 485
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 1993 AND VI 36 AND IP 5
Results: 14
1
2
Variable Elimination in Linear Constraints.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 463
- By:
- Publication type:
- Article
3
Computing Roadmaps of General Semi-Algebraic Sets.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 504
- By:
- Publication type:
- Article
4
Applying Quantifier Elimination to Stability Analysis of Difference Schemes.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 497
- By:
- Publication type:
- Article
5
Variable Elimination for Disequations in Generalized Linear Constraint Systems.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 473
- By:
- Publication type:
- Article
6
Path Tracking in Motion Planning.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 515
- By:
- Publication type:
- Article
7
Applying Linear Quantifier Elimination.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 450
- By:
- Publication type:
- Article
8
Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 439
- By:
- Publication type:
- Article
9
Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 432
- By:
- Publication type:
- Article
10
On the Theoretical and Practical Complexity of the Existential Theory of Reals.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 427
- By:
- Publication type:
- Article
11
Quantifier Elimination in p-adic Fields.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 419
- By:
- Publication type:
- Article
12
Improved Algorithms for Sign Determination and Existential Quantifier Elimination.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 409
- By:
- Publication type:
- Article
13
On the Complexity of Quantifier Elimination: the Structural Approach.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 400
- By:
- Publication type:
- Article
14
Special Issue Editorial.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 399
- By:
- Publication type:
- Article