Automatic parameterization of rational curves and surfaces 1: conics and conicoids
Computer-Aided Design
Automatic parametrization of rational curves and surfaces II: cubics and cubicoids
Computer-Aided Design
Computer Aided Geometric Design
Some algebraic and geometric computations in PSPACE
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
On computing the intersection of a pair of algebraic surfaces
Computer Aided Geometric Design
Parametrization of cubic algebraic surfaces
Proceedings on Mathematics of surfaces II
Factoring rational polynomials over the complexes
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
I3D '90 Proceedings of the 1990 symposium on Interactive 3D graphics
Sorting points along an algebraic curve
SIAM Journal on Computing
Fast Probabilistic Algorithms for Verification of Polynomial Identities
Journal of the ACM (JACM)
The GANITH algebraic geometry toolkit
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Generalized Characteristic Polynomials
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
The computerization of algebraic geometry
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Some Effectivity Problems in Polynomial Ideal Theory
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
The computation of the Hilbert function
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Geometric Modeling with Algebraic Surfaces
Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces
Computations with Algebraic Curves
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Rational parametrizations of nonsingular real cubic surfaces
ACM Transactions on Graphics (TOG)
Triangulation and display of rational parametric surfaces
VIS '94 Proceedings of the conference on Visualization '94
| Hi-index | 0.00 |
The set of solutions to a collection of polynomial equations is referred to as an algebraic set. An algebraic set that cannot be represented as the union of two other distinct algebraic sets, neither containing the other, is said to be irreducible. An irreducible algebraic set is also known as an algebraic variety. This paper deals with geometric computations with algebraic varieties. The main results are algorithms to (1) compute the degree of an algebraic variety, (2) compute the rational parametric equations (a rational map from points on a hyperplane) for implicitly defined algebraic varieties of degrees two and three. These results are based on sub-algorithms using multi-polynomial resultants and multi-polynomial remainder sequences for constructing a one-to-one projection map of an algebraic variety to a hypersurface of equal dimension, as well as, an inverse rational map from the hypersurface to the algebraic variety. These geometric computations arise naturally in geometric modeling, computer aided design, computer graphics, and motion planning, and have been used in the past for special cases of algebraic varieties, i.e. algebraic curves and surfaces.