DMCA

Trigonometric Functions and Existence of Circle Ratio (1998)

by Yuguang Yang , Yasunari Shidama
Venue:Journal of Formalized Mathematics
Citations:13 - 1 self