Pavel Pech. Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides. In Hoon Hong, Dongming Wang, editors, Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Volume 3763 of Lecture Notes in Computer Science, pages 44-58, Springer, 2004. [doi]
Abstract is missing.