Գիտություն · Ընդհանուր գիտություն
Շին-Թուն Յաոն օգնել է ստեղծել մաթեմատիկական հետազոտությունների դաշինք
Պեկինում ստեղծված դաշինքին միացել է ութ հաստատություն։ Այն նպատակ ունի մշակել մասնագիտացված մոդելներ և մաթեմատիկական ապացույցներ, որոնք հնարավոր կլինի ստուգել ծրագրային միջոցներով։
