The sum and product of finite sequences of real numbers (1990)

by Czesław Byliński
Venue:Journal of Formalized Mathematics