and Their Complexity G. Gallo B. Mishra Courant Institute, New York...  Home/Search
Context
Related
| nyu.edu/mishra/PUB....dimacswuritt.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nyu.edu/mishra/PUBLICATIONS/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The concept of a characteristic set of an ideal was originally introduced by J.F. Ritt, in the late forties, and later, independently rediscovered by Wu Wen-Tsun, in the late seventies. Since then Wu-Ritt Characteristic Sets have found wide applications in Symbolic Computational Algebra, Automated Theorem Proving in Elementary Geometries and Computer Vision. In this paper, we survey the original Wu-Ritt process, and its applications: particularly, in geometry. We also present optimal... (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ complexity-wuritt,
author = "And Their Complexity",
title = "Wu-Ritt Characteristic Sets",
url = "citeseer.ist.psu.edu/766120.html" }
Citations (may not include all citations):1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
308 Matrix Multiplication via Arithmetic Progressions (context) - Coppersmith, Winograd - 1987
167 Grobner Bases: An Algorithmic Method in Polynomial Ideal The.. (context) - Buchberger - 1985
77 The Complexity of the Word Problems for Commutative Semigrou.. (context) - Mayr, Meyer - 1982
60 On Computing the Determinant in Small Parallel Time using a .. (context) - Berkowitz - 1984
53 A Fast Parallel Algorithm to Compute the Rank of a Matrix ov.. (context) - Mulmuley - 1987
48 Differential Algebra and Algebraic Groups (context) - Kolchin - 1973
47 Fast Parallel Matrix Inversion Algorithms (context) - Csanky - 1976
40 Bounds for the Degree in the Nullstellensatz (context) - Brownawell - 1987
30 Mechanical Geometry Theorem Proving (context) - Chou - 1988
26 Computer Algebra (context) - Davenport, Siret et al. - 1988
24 Algorithms in Real Algebraic Geometry and Applications to Co.. (context) - Heintz, Recio et al. - 1991
23 A Criterion for Detecting m-Regularity (context) - Bayer, Stillman - 1987
21 Definability and Fast Quantifier Elimination over Algebraica.. (context) - Heintz - 1983
17 The Membership Problem for Unmixed Polynomial Ideals is Solv.. (context) - Dickenstein, Fitchas et al. - 1989
[Article contains additional citations not shown here]
Documents on the same site (http://www.cs.nyu.edu/mishra/PUBLICATIONS/): More
Shotgun Optical Maps of the Whole Escherichia coli - Genome Alex Lim (Correct)
Genomics via Optical Mapping (I): - Laws For Single (Correct)
A Random Walk Down the Genomes: - Case Study Of (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC