Paper Info
Title
How to Compute the Area of a Triangle: A Formal Revisit
Abstract
Mathematical values are usually computed using well-known mathematical formulas without thinking about their accuracy, which may turn awful with particular instances. This is the case for the computation of the area of a triangle. When the triangle is needle-like, the common formula has a very poor accuracy. Kahan proposed in 1986 an algorithm he claimed correct within a few ulps. Goldberg took over this algorithm in 1991 and gave a precise error bound. This article presents a formal proof of this algorithm, an improvement of its error bound and new investigations in case of underflow.
Year
DOI
Venue
2013
10.1109/ARITH.2013.29
IEEE Symposium on Computer Arithmetic
Keywords
Field
DocType
formal proof,mathematical value,well-known mathematical formula,poor accuracy,particular instance,common formula,new investigation,precise error,formal revisit,algorithm design and analysis,accuracy,floating point arithmetic,theorem proving,underflow,triangle
Arithmetic underflow,Algebra,Floating point,Computer science,Automated theorem proving,Algorithm theory,Computation,Formal proof
Conference
ISSN
Citations 
PageRank 
1063-6889
1
0.35
References 
Authors
3
1
Name
Order
Citations
PageRank
Sylvie Boldo129226.85