Computational Geometry · 2002 · 23 citations · 8 references
Natural SciencesComputer ScienceMathematicsAlgebraGeometryTheory Of ComputationAlgebraic GeometryArithmetic GeometryBoolean AlgebraBoolean OperationsEuclidean GeometryPredicate LogicAlgebraic Geometry ComputationAutomated Theorem Proving In AlgebraComputer Algebra SystemsExact Intersection ComputationFilteringGeometric PredicatesPredicate AnalysisPredicate-based Filtering
8
Towards exact geometric computation
Chee-Keng Yap · Computational Geometry · 1997 · 181 citations · Full text
Matrices in Elimination Theory
Ioannis Z. Emiris, Bernard Mourrain · Journal of Symbolic Computation · 1999 · 125 citations