Indirect Predicates for Geometric Constructions
Marco Attene
Topics & Concepts
CorrectnessPredicate (mathematical logic)Floating pointComputer scienceRobustness (evolution)AlgorithmImplementationExploitMathematicsTheoretical computer scienceProgramming languageChemistryBiochemistryGeneComputer securityNumerical Methods and AlgorithmsAdvanced Numerical Analysis TechniquesPolynomial and algebraic computation