કેટલાક ઔપચારિક છે, જેમ કે પરીક્ષણો જે ગાણિતિક પાઠયપુસ્તકોમાં પ્રકરણોના મૂલ્યાંકન માટે વિકસાવવામાં આવ્યા છે.