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