Մաթեմատիկական հաշվարկներ, որոնք հիմնավորում, հաստատում կամ հերքում են որևէ բարդ նախագծի ճշտությունը կամ որոշում այդ նախագծի ներքին պարամետրերի արժեքները: