The Computer Journal

Articles

H. Hong

Special Issue Editorial
The Computer Journal 1993 36: 399; doi:10.1093/comjnl/36.5.399 [PDF] [Request Permissions]  

F. Cucker

On the Complexity of Quantifier Elimination: the Structural Approach
The Computer Journal 1993 36: 400-408; doi:10.1093/comjnl/36.5.400 [Abstract] [PDF] [Request Permissions]  

J. Canny

Improved Algorithms for Sign Determination and Existential Quantifier Elimination
The Computer Journal 1993 36: 409-418; doi:10.1093/comjnl/36.5.409 [Abstract] [PDF] [Request Permissions]  

D. P. Dubhashi

Quantifier Elimination in p-adic Fields
The Computer Journal 1993 36: 419-426; doi:10.1093/comjnl/36.5.419 [Abstract] [PDF] [Request Permissions]  

J. Heintz, M.-F. Roy, and P. Solernò

On the Theoretical and Practical Complexity of the Existential Theory of Reals
The Computer Journal 1993 36: 427-431; doi:10.1093/comjnl/36.5.427 [Abstract] [PDF] [Request Permissions]  

S. McCallum

Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
The Computer Journal 1993 36: 432-438; doi:10.1093/comjnl/36.5.432 [Abstract] [PDF] [Request Permissions]  

H. Hong

Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
The Computer Journal 1993 36: 439-449; doi:10.1093/comjnl/36.5.439 [Abstract] [PDF] [Request Permissions]  

R. Loos and V. Weispfenning

Applying Linear Quantifier Elimination
The Computer Journal 1993 36: 450-462; doi:10.1093/comjnl/36.5.450 [Abstract] [PDF] [Request Permissions]  

V. Chandru

Variable Elimination in Linear Constraints
The Computer Journal 1993 36: 463-472; doi:10.1093/comjnl/36.5.463 [Abstract] [PDF] [Request Permissions]  

J.-L. Imbert

Variable Elimination for Disequations in Generalized Linear Constraint Systems
The Computer Journal 1993 36: 473-484; doi:10.1093/comjnl/36.5.473 [Abstract] [PDF] [Request Permissions]  

D. Manocha

Efficient Algorithms for MultiPolynomial Resultant
The Computer Journal 1993 36: 485-496; doi:10.1093/comjnl/36.5.485 [Abstract] [PDF] [Request Permissions]  

R. Liska and S. Steinberg

Applying Quantifier Elimination to Stability Analysis of Difference Schemes
The Computer Journal 1993 36: 497-503; doi:10.1093/comjnl/36.5.497 [Abstract] [PDF] [Request Permissions]  

J. Canny

Computing Roadmaps of General Semi-Algebraic Sets
The Computer Journal 1993 36: 504-514; doi:10.1093/comjnl/36.5.504 [Abstract] [PDF] [Request Permissions]  

M. J. González-López and T. Recio

Path Tracking in Motion Planning
The Computer Journal 1993 36: 515-524; doi:10.1093/comjnl/36.5.515 [Abstract] [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.