Sylvie Boldo. How to Compute the Area of a Triangle: A Formal Revisit. In Alberto Nannarelli, Peter-Michael Seidel, Ping Tak Peter Tang, editors, 21st IEEE Symposium on Computer Arithmetic, ARITH 2013, Austin, TX, USA, April 7-10, 2013. pages 91-98, IEEE Computer Society, 2013. [doi]
@inproceedings{Boldo13, title = {How to Compute the Area of a Triangle: A Formal Revisit}, author = {Sylvie Boldo}, year = {2013}, doi = {10.1109/ARITH.2013.29}, url = {http://doi.ieeecomputersociety.org/10.1109/ARITH.2013.29}, researchr = {https://researchr.org/publication/Boldo13}, cites = {0}, citedby = {0}, pages = {91-98}, booktitle = {21st IEEE Symposium on Computer Arithmetic, ARITH 2013, Austin, TX, USA, April 7-10, 2013}, editor = {Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang}, publisher = {IEEE Computer Society}, isbn = {978-1-4673-5644-2}, }