boundedsqr1:Delimitar cuadrados I
boundedsqr2:Delimitar cuadrados II
crossfrac2:Cross fractions II
crossfrac:Fracciones
fracx1:Simple fraction I
fracx2:Simple fraction II
fracx3:Simple fraction III
majsqr1b:Upper-bound the squrare Ib
majsqr2b:Upper-bound the square IIb
majsqr2:Upper-bound the square II
majsqr3:Upper-bound the square III
possqr1:Positive square I
possqr2:Positive square II
product:Given produit
sollin:Linear solve I
sumprod2:Sum and product II
sumprod3a:Sum and product of 3 I
sumprod3b2:Sum and product of 3 II bis
sumprod3b:Sum and product of 3 II
sumprodb:Sum and product bis
sumprod:Sum and product
twoprod:Given two products
twosqr:Two squares
twosqrgiv:Given two squares
