Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9652865 | Journal of Symbolic Computation | 2005 | 11 Pages |
Abstract
We address two basic questions for real algebraic curves. The first one is how to decide whether a real algebraic curve in the n-projective space contains some real point. We present an algorithm that reduces the original question to deciding whether the zero-set of a zero-dimensional ideal contains real points. The second part of the paper is devoted to giving necessary and sufficient conditions for the existence of a real line disjoint from a given real plane algebraic curve. An algorithm for testing whether these conditions are fulfilled is given.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
E. Fortuna, P. Gianni, P. Parenti,